SAKAI Masahiro - 型理論 Diff
- Added parts are displayed like this.
- Deleted parts are displayed
like this.
= 型理論
型に関する性質をための形式的体系。
((<λ→>)), ((<ITT_n>)), ((<F|型理論F>)), ((<CC|Calculus of Constructions>)) 等をはじめとして色々ある。
型に関する性質をための形式的体系。
((<λ→>)), ((<ITT_n>)), ((<F|型理論F>)), ((<CC|Calculus of Constructions>)) 等をはじめとして色々ある。