ノート:実現可能性 (論理学)
表示
この記事は英語版ウィキペディアのRealizabilityから翻訳された内容を含みます。(翻訳の版は83922283です。) |
各種術語の訳について
[編集]日本語版初版作成者です。記事の和訳に際して、各種訳語を参考にした文献をこちらに載せておきます。
- 木原貴行 (2020年3月10日). “2019年度 計算可能性理論特論・講義ノート” (PDF). 2021年6月8日閲覧。
- 照井一成 (2010). “線形論理の誕生” (PDF). 数学 (日本数学会) 62 (1): 115-132. doi:10.11429/sugaku.0621115.
- 照井一成 (2003年9月). “線形論理入門 - What's the use?”. 2021年6月8日閲覧。
--Merliborn(会話) 2021年6月8日 (火) 10:17 (UTC)
見出しの誤字修正--Merliborn(会話) 2021年6月8日 (火) 10:53 (UTC)