H ? « ‹ ← → › »

Language peer sets for AUT-PI:
Netherlands↑
Netherlands/1969↑
Designed 1969 ↑
1960s languages ↑
Third generation↑
High Cold War↑
Genus Symbolic ↑
Symbolic↑
Logical↑
Expression-oriented ↑
Symbolic/1969↑
Logical/1969↑
Expression-oriented/1969↑
Symbolic/Netherlands↑
Logical/Netherlands↑
Expression-oriented/Netherlands↑

AUT-PI(ID:6965/aut048)

alternate simple view
Country: Netherlands
Designed 1969
Genus: Symbolic

The first version of Automath, actually using pen and paper
Related languages
AUTOMATH → AUT-PI   Implementation
References:
  • de Bruijn, Nicolas G. (1980) de Bruijn, Nicolas G. "A survey of the project AUTOMATH" In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays in Combinatory Logic, Lambda Calculus, and Formalism, pages 589--606, Academic Press, 1980.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder