computational trilogy
#Fleeting_Notes
computational trilogy(計算論的三部作)
nLab: computational trilogy in nLab
カリー／ハワード／ランベック対応
型と論理
型と圏論
型と集合
確認用
Q. computational trilogy
computational trinitarianism
Paul-André Melliès. Functorial boxes in string diagrams. Computer Science Logic 2006, Sep 2006, Szeged, Hungary. pp.1-30, ⟨10.1007/11874683⟩. ⟨hal-00154243⟩
pdf: https://hal.science/hal-00154243/document
『Type Theory and Applications』
Harley Eades, Section 3 of: Type Theory and Applications, 2012. https://ncatlab.org/nlab/files/EadesTypeTheoryAndApplications.pdf
The Holy Trinity | Existential Type
The Computational Trilogy: Three Perspectives, One Truth
調査用
Google.icon 計算論的三部作(日)
Google.icon Computational trilogy(英)
Wikipedia.icon
計算論的三部作 - Wikipedia(日)
計算論的三部作(検索) - Wikipedia(日)
Wikipedia.icon
Computational trilogy - Wikipedia(英)
Computational trilogy(検索) - Wikipedia(英)