gefundene Verfasser GOGUEN HEALFDENE H

1. 1
   

   A typed operational semantics for type theory von Goguen, Healfdene

   Veröffentlicht 1994

   Signatur: Wird geladen …
   Standort: Wird geladen …

   Abschlussarbeit Buch Wird geladen …

   In die Zwischenablage Aus der Zwischenablage entfernen
   Zu den Favoriten
   

   Gespeichert in: