Zum Inhalt springen

  1. Nolte, Doris [VerfasserIn]

    Faire Semantiken - [Als Ms. gedr.]

    Bücher
    Schließen

    Merkliste

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

    Aachen: Shaker, 1994

    Erschienen in: Berichte aus der Informatik

  2. Ronchi Della Rocca, Simona [VerfasserIn]; Paolini, Luca [VerfasserIn]

    The parametric lambda calculus : a metamodel for computation

    Bücher
    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, [2004]

    Erschienen in: Texts in theoretical computer science - an EATCS series