Treffer: Games and full abstraction for a functional metalanguage with recursive types
Titel:
Verantwortlich:
Veröffentlicht:
London [u.a.] : Springer, 1998
Umfang:
XIII, 189 S.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
CPHC/BCS distinguished dissertations
Hochschulschrift:
Zugl.: Diss., 1996
RVK-Notation:
Schlagworte:
ISBN:
3540762558