Zum Inhalt springen

  1. Krivine, Jean-Louis [Verfasser:in] ; Krivine, Jean Louis [Sonstige Person, Familie und Körperschaft]; Cori, René [Sonstige Person, Familie und Körperschaft]

    Lambda-calculus, types and models

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Ellis Horwood series in computers and their applications

  3. Groote, Philippe de [Sonstige Person, Familie und Körperschaft]; Hindley, J. Roger [Sonstige Person, Familie und Körperschaft] ; 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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1997

    Erschienen in: Lecture notes in computer science ; 1210

  9. Dezani-Ciancaglini, Mariangiola [Herausgeber:in] ; 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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 902