|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel
Anzahl der Publikationen: 1
Zeitschriftenartikel
Hofmann, Martin und Ledent, Jeremy
(2022):
A quantitative model for simply typed lambda-calculus.
In: Mathematical Structures in Computer Science, Bd. 32, Nr. 6, PII S0960129521000256: S. 777-793