@inbook{057bedcb70a1426094f3d7878f552d0e,
title = "A description of Automath and some aspects of its language theory",
abstract = "definition and an overview of the language theory. Thus it can serve as an introduction to the papers [van Benthem Jutting 73] and [Zandlevem 73 (E.1)]. Among the various Automath languages this paper concentrates on the original version AUT-68 (because of its relative simplicity) and one extension AUT-QE (in which most texts have been written thus far). The contents are: 1. Introductory remarks. 2. Informal description of AUT-68. 3. Mathematics in Automath: propositions and types. 4. Extension of AUT-68 to AUT-QE. 5. A formal definition of AUT-QE. 6. Some remarks on language theory.",
author = "{van Daalen}, D.T.",
year = "1994",
language = "English",
isbn = "0-444-89822-0",
series = "Studies in Logic",
publisher = "North-Holland Publishing Company",
pages = "101--126",
editor = "R.P. Nederpelt and J.H. Geuvers and {Vrijer, de}, R.C.",
booktitle = "Selected Papers on Automath",
address = "Netherlands",
}