TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 1.
Streicher, Thomas ; Reus, (1998)
Classical logic, continuation semantics and abstract machines.
In: Journal of functional programming. 8 (1998), S. 543-572
Artikel, Bibliographie