Automath Extra List
Click here to sort the list on: number, date, author, title
| Nr. | Year | Author(s) | Title |
| XAUT009 | 1974 | Daalen, D. van | A first result concerning the Bete-Eta-Church-Rosser Property |
| XAUT016 | 1976 | ? | A formal definition of AUT-QE-SYNT |
| XAUT023 | 1982 | Balsters, H. | A formal definition of derivation trees |
| XAUT022 | 1982 | Bruijn, N.G. de | A new definition of correctness of expressions in lambda typed lambda calculus |
| XAUT028 | 1984 | Bruijn, N.G. de | A note on one-round beta reduction |
| XAUT021 | 1982 | Rezus, A. | Abstract AUTOMATH |
| XAUT008 | 1974 | Zucker, J. | Aut-4 Informatil Description |
| XAUT004 | 1968 | Knuth, D.E. | AUTOMATH with subtypes |
| XAUT005 | 1968 | Knuth, D.E. | AUTOMATH with subtypes |
| XAUT017 | 1977 | Bruijn, N.G. de | AUT-SL met Telescoopafkortingen |
| XAUT018 | 1978 | Kornaat, B. | Cartprod - Cartesian product, PI |
| XAUT031 | 1985 | Bruijn, N.G. de | Contribution to the ICMI discussion on "The influence of computers and informatics on mathematics and its teaching" |
| XAUT007 | 1970 | Bruijn, N.G. de | Core of a checker for AUTOMATH |
| XAUT006 | 1970 | Benthem Jutting, L.S. van | Definition of AUTOMATH |
| XAUT001 | 1967 | Bruijn, N.G. de | Description of the language AUTOMATH |
| XAUT011 | 1974 | Daalen, D. van | Een bezwaar van het [x, bas] type: het helpt niet |
| XAUT032 | 1990 | Bruijn, N.G. de | Gedachten Rondom Automath |
| XAUT029 | >1986 | Benthem Jutting, L.S. van | Implementation of substitution in the AUTOMATH verification problem |
| XAUT014 | 1973 | Benthem Jutting, L.S. van | Inleiding in Automath |
| XAUT030 | 1989 | Bruijn, N.G. de | Machinale verificatie van redeneringen |
| XAUT024 | 1983 | Bruijn, N.G. de | Notes on typed lambda calculus |
| XAUT026 | 1984 | Bruijn, N.G. de | On seminormal expressions in lambda typed lambda calculus |
| XAUT010 | 1974 | Daalen, D. van | Over type-reductie versus Pi-notatie |
| XAUT003 | 1968 | Bruijn, N.G. de | Processor propositiecalculus voor AUTOMATH |
| XAUT013 | 1974 | Zucker, J. | Proposed abbreviation for abstraction with quantification in AUT-PI |
| XAUT012 | 1974 | Zucker, J. | Sets and Functions |
| XAUT025 | 1983 | Wieringa, R.M.A. | Syntax en Semantiek van een ALGOL-60-achtige programmeertaal |
| XAUT027 | 1984 | Bruijn, N.G. de | Towards a definition of AUT-SL by means of a formal description of binary trees |
| XAUT020 | 1982 | Balsters, H. | Typenlogica en AUTOMATH |
| XAUT015 | 1974 | Zandleven, I. | VERA Manual |
| XAUT002 | 1967 | Bruijn, N.G. de | Verificatie van een stuk wiskundige taal |
| XAUT033 | 1978 | Bruijn, N.G. de | Verslag over het project Wiskundige Taal AUTOMATH |
| XAUT019 | 1980 | Daalen, D. van | Yet another type-assignment, for stronger normalizable terms |