AUT-QE(ID:6964/aut046)
- Country: nl
- Began: 1973
- Sammet:SPC
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. "The development of a text in AUT-QE" Proceedings of the Symposium APLASM, ed. P. Braffort, vol. I December 1973 Orsay, France
view details
External link: Online copy
de Bruijn, N.G. AUT-QE without type inclusion. Memorandum 197804, Department of Mathematics, Eindhoven University of Technology, August 1978. view details
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. view details
|