H ? « ‹ ← → › »

Language peer sets for Martin-Löf types:
Designed 1972 ↑
1970s languages ↑
Third generation↑
High Cold War↑
Genus Symbolic ↑
Symbolic↑
Logical↑
Expression-oriented ↑
Symbolic/1972↑
Logical/1972↑
Expression-oriented/1972↑

Martin-Löf types(ID:7829/)

alternate simple view
Designed 1972
Genus: Symbolic
References:
  • Martin-Löf, P., (1972) Martin-Löf, P., "An intuitionistic theory of types," manuscript, University of Stockholm, 1972
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder