Treffer 1 – 2 von 2 für Suche 'Pierce, Benjamin C. 1963-', Suchdauer: 0,05s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    A decision procedure for the subtype relation on intersection types with bounded variables

    A decision procedure for the subtype relation on intersection types with bounded variables von Pierce, Benjamin C. 1963-

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Types and programming languages

    Types and programming languages von Pierce, Benjamin C. 1963-

    Veröffentlicht 2002
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: