H ? « ‹ ← → › »

Language peer sets for AUT-QE:
Netherlands↑
Netherlands/1973↑
Designed 1973 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑
Specialised Languages ↑
Specialised Languages/1973↑
Specialised Languages/nl ↑

AUT-QE(ID:6964/aut046)

alternate simple view
Country: Netherlands
Designed 1973
Sammet category: Specialised Languages

Related languages
AUT-68 → AUT-QE   Incorporated some features of
AUTOMATH → AUT-QE   Implementation
AUT-QE → aut   Incorporated some features of
References:
  • van Benthem Jutting, L.S. (1973) van Benthem Jutting, L.S. "The development of a text in AUT-QE" Proceedings of the Symposium APLASM, ed. P. Braffort, vol. I December 1973 Orsay, France Online copy
  • de Bruijn, N.G. (1978) de Bruijn, N.G. AUT-­QE without type inclusion. Memorandum 1978­04, Department of Mathematics, Eindhoven University of Technology, August 1978.
  • 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