Quartz 5
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
raw
❯
notes
❯
Calculus of Constructions
Calculus of Constructions
Properties
1
tags
lang/type-theory
,
computation/lambda
Jun 28, 2026
1 min read
Calculus of Constructions
参考文献
calculus of constructions (CoC) の勉強 - よーる
Graph View
Table of Contents
Calculus of Constructions
参考文献
Backlinks
MOC: 言語/型/コンパイラ
ラムダキューブ
型理論