TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 4.

Marz, Michael (2000):
A fully abstract model for sequential computation.
Berlin, Logos-Verl., TU Darmstadt, [Ph.D. Thesis]

Marz, Michael and Rohr, A. and Streicher, Thomas (1999):
Full abstraction and universality via realisability.
In: Fourteenth Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Science Press, 1999. S. 174-182, [Conference or Workshop Item]

Marz, Michael (1999):
An algebraic view on recursive types.
In: Applied categorical structures, pp. 147-157, 7, [Article]

Marz, Michael (1995):
An algebraic view on recursive types.
Darmstadt, Techn. Hochschule, FB Mathematik, 1793, [Book]

This list was generated on Tue Aug 20 01:58:21 2019 CEST.