Bruijn, N.G. de, A survey of the project AUTOMATH, in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, ed. Hindley, J.R., and Seldin, J.P., Academic Press, 29-61, 1980. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
A unified approach to Type Theory through a refined.. - Kamareddine, Nederpelt (1994) (Correct)
Information Flow and Gaps - Piwek (Correct)
A Fine-Grained Notation for Lambda Terms and Its Use in.. - Nadathur (1996) (11 citations) (Correct)
A Formal Verification of the Alternating Bit Protocol in the.. - Bezem, Groote (1993) (15 citations) (Correct)
Programming Language Semantics in Foundational Type Theory - Crary (1998) (1 citation) (Correct)
Martin-Löf's Type Theory - Nordström, Petersson, Smith (Correct)
Equivalences between Logics and their Representing Type Theories - Gardner (1992) (6 citations) (Correct)
A Meta-theory for Structured Presentations in the COC - Shulman (1997) (Correct)
Term Reshuffling in the Barendregt Cube - Roel Bloo Fairouz (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC