H ? « »

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


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

  • 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