12/01/04 14:36:24.27
今時のプログラミング言語の型理論の基礎はSystem F、
要するに二階λ計算、大体二階直観論理相当。
一階述語論理で十分なんて馬鹿げてる。
動作原理としてはノイマン型でロジックとは関係ないし。
12/01/04 14:36:24.27
今時のプログラミング言語の型理論の基礎はSystem F、
要するに二階λ計算、大体二階直観論理相当。
一階述語論理で十分なんて馬鹿げてる。
動作原理としてはノイマン型でロジックとは関係ないし。
12/01/04 14:36:24.27
今時のプログラミング言語の型理論の基礎はSystem F、
要するに二階λ計算、大体二階直観論理相当。
一階述語論理で十分なんて馬鹿げてる。
動作原理としてはノイマン型でロジックとは関係ないし。