Skip to contents

  1. Krivine, Jean-Louis [Author] ; Krivine, Jean Louis [Other]; Cori, René [Other]

    Lambda-calculus, types and models

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    New York: Ellis Horwood, 1993 ; Hemel Hempstead: Ellis Horwood, 1993

    Published in: Ellis Horwood series in computers and their applications

  2. Groote, Philippe de [Other]; Hindley, J. Roger [Other] ; International Conference on Typed Lambda Calculi and Applications 3 1997 Nancy

    Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 ; proceedings

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin [u.a.]: Springer, 1997

    Published in: Lecture notes in computer science ; 1210