Generalizing Automath by means of a lambda-typed lambda calculus

N.G. Bruijn, de

    Research output: Chapter in Book/Report/Conference proceedingChapterPopular

    48 Downloads (Pure)
    Original languageEnglish
    Title of host publicationMathematical logic and theoretical computer science / ed. by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith
    Place of PublicationNew York
    PublisherMarcel Dekker Inc.
    Pages71-92
    ISBN (Print)0-8247-7746-8
    Publication statusPublished - 1987

    Publication series

    NameLecture notes in pure and applied mathematics
    Volume106

    Cite this

    Bruijn, de, N. G. (1987). Generalizing Automath by means of a lambda-typed lambda calculus. In Mathematical logic and theoretical computer science / ed. by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith (pp. 71-92). (Lecture notes in pure and applied mathematics; Vol. 106). New York: Marcel Dekker Inc..
    Bruijn, de, N.G. / Generalizing Automath by means of a lambda-typed lambda calculus. Mathematical logic and theoretical computer science / ed. by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith. New York : Marcel Dekker Inc., 1987. pp. 71-92 (Lecture notes in pure and applied mathematics).
    @inbook{1e8d81e579a846ccb5caca250b2c984c,
    title = "Generalizing Automath by means of a lambda-typed lambda calculus",
    author = "{Bruijn, de}, N.G.",
    year = "1987",
    language = "English",
    isbn = "0-8247-7746-8",
    series = "Lecture notes in pure and applied mathematics",
    publisher = "Marcel Dekker Inc.",
    pages = "71--92",
    booktitle = "Mathematical logic and theoretical computer science / ed. by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith",
    address = "United States",

    }

    Bruijn, de, NG 1987, Generalizing Automath by means of a lambda-typed lambda calculus. in Mathematical logic and theoretical computer science / ed. by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith. Lecture notes in pure and applied mathematics, vol. 106, Marcel Dekker Inc., New York, pp. 71-92.

    Generalizing Automath by means of a lambda-typed lambda calculus. / Bruijn, de, N.G.

    Mathematical logic and theoretical computer science / ed. by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith. New York : Marcel Dekker Inc., 1987. p. 71-92 (Lecture notes in pure and applied mathematics; Vol. 106).

    Research output: Chapter in Book/Report/Conference proceedingChapterPopular

    TY - CHAP

    T1 - Generalizing Automath by means of a lambda-typed lambda calculus

    AU - Bruijn, de, N.G.

    PY - 1987

    Y1 - 1987

    M3 - Chapter

    SN - 0-8247-7746-8

    T3 - Lecture notes in pure and applied mathematics

    SP - 71

    EP - 92

    BT - Mathematical logic and theoretical computer science / ed. by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith

    PB - Marcel Dekker Inc.

    CY - New York

    ER -

    Bruijn, de NG. Generalizing Automath by means of a lambda-typed lambda calculus. In Mathematical logic and theoretical computer science / ed. by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith. New York: Marcel Dekker Inc. 1987. p. 71-92. (Lecture notes in pure and applied mathematics).