Jump to main content

yr 〜
yr

Search results 3

計算可能性と複雑さに関する研究：ラムダ計算の新しいモデルと有用な情報の定義について

計算可能性と複雑さに関する研究：ラムダ計算の新しいモデルと有用な情報の定義について
Digital博士論文障害者向け資料あり
Marlou Mathilde, Gijzen2023-03
National Diet Library
  • Subject HeadingLambda calculus combinatory algebra reflexivity Kolmogorov comple...

Planar Realizability via Left and Right Applications

Planar Realizability via Left and Right Applications
Digital博士論文障害者向け資料あり
Tomita, Haruka2023-03-23
Available onlineNational Diet LibraryOther Libraries in Japan
  • Subject Headingrealizability combinatory algebra monoidal bi-closed category e...

計算可能性と複雑さに関する研究：ラムダ計算の新しいモデルと有用な情報の定義について

計算可能性と複雑さに関する研究：ラムダ計算の新しいモデルと有用な情報の定義について
Digital博士論文
Marlou Mathilde, Gijzen2023-03
Available onlineOther Libraries in Japan
  • Subject HeadingLambda calculus combinatory algebra reflexivity Kolmogorov comple...

Reached to the end of result.

RSS