gefundene Verfasser GOGUEN HEALFDENE H


Treffer 1 - 1 von 1 für Suche 'GOGUEN HEALFDENE H', Suchdauer: 0,36s Treffer weiter einschränken
  1. 1

    A typed operational semantics for type theory von Goguen, Healfdene

    Veröffentlicht 1994
    Abschlussarbeit Buch