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