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

    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

  2. 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

    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