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

  3. Dezani-Ciancaglini, Mariangiola [Editor] ; International Conference on Typed Lambda Calculi and Applications 2 1995 Edinburgh

    Typed lambda calculi and applications : second international conference on typed lambda calculi and applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995 ; proceedings

    Books
    View online
    Close

    Bookmarks

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

    Berlin; Heidelberg [u.a.]: Springer, 1995

    Published in: Lecture notes in computer science ; 902

  4. Altenkirch, Thorsten [Editor] ; International Conference on Typed Lambda Calculi and Applications 13. 2015 Warschau

    13th International Conference on Typed Lambda Calculi and Applications : TLCA’15, July 1-3, 2015, Warsaw, Poland

    Books
    View online
    Close

    Bookmarks

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

    Saarbrücken/Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, July 2015

    Published in: Leibniz international proceedings in informatics ; 38