generated at
2/21/2025, 7:02:44 PM
Per Martin-Löf
直観主義的型理論
https://github.com/michaelt/martin-lof
Per Martin-Löfの
論文
集
Programming in Martin-L¨of ’s Type Theory
http://www.cse.chalmers.se/research/group/logic/book/book.pdf
Intuitionistic Type Theory
https://www.csie.ntu.edu.tw/~b94087/ITT.pdf
参考
https://ja.wikipedia.org/wiki/ペール・マルティン＝レーフ
#人物