Treffer 1 - 4 von 4 für Suche 'Capretta, Venanzio', Suchdauer: 0,21s Treffer weiter einschränken
  1. 1
    Abstraction and computation : type theory, algebraic structures, and recursive functions
    von Capretta, Venanzio
    Veröffentlicht 2002
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Abstraction and computation : type theory, algebraic structures, and recursive functions
    von Capretta, Venanzio
    Veröffentlicht 2002
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Higher-order abstract syntax in type theory
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Logics and type systems in theory and practice : essays dedicated to Herman Geuvers on the occasion of hs 60th birthday
    Veröffentlicht 2024
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: