˜Theœ geometry of sequential computation 1 ˜Aœ simplicial geometry of interaction

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Basu, Kalyan S. (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: München Inst. für Informatik, Techn. Univ. 1997
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Band
˜Theœ geometry of sequential computation 1 ˜Aœ simplicial geometry of interaction 1997 1
˜Theœ geometry of sequential computation 2 Full abstraction for PCF 1997 2
Alle Bände/Ausgaben auflisten