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: 18.

Makhlouf, Sumer ; Cojocari, Oleg ; Hofmann, Martin ; Nagatsuma, Tadao ; Preu, Sascha ; Weimann, Nils ; Hübers, Heinz-Wilhelm ; Stöhr, Andreas (2023)
Terahertz Sources and Receivers: From the Past to the Future.
In: IEEE Journal of Microwaves, 3 (3)
doi: 10.1109/JMW.2023.3282875
Article, Bibliographie

Hofmann, Martin ; Oosten, Jaap van ; Streicher, Thomas (2006)
Well-foundedness in realizability.
In: Archive for mathematical logic, 45
Article, Bibliographie

Hofmann, Martin ; Streicher, Thomas (2002)
Completeness of continuation models for lambda my-calculus.
In: Information and computation, 179
Article, Bibliographie

Hofmann, Martin (1999)
Type systems for polynomial time computation.
Habilitation, Bibliographie

Hofmann, Martin ; Streicher, Thomas (1998)
The groupoid interpretation of type theory.
Conference or Workshop Item, Bibliographie

Hofmann, Martin (1998)
A mixed modal/linear lambda calculus with application.
Conference or Workshop Item, Bibliographie

Hofmann, Martin ; Streicher, Thomas (1997)
Continuation models are universal for lambda-mu calculus.
Conference or Workshop Item, Bibliographie

Hofmann, Martin (1997)
Extensional concepts in intensional type theory.
Technische Universität Darmstadt
Ph.D. Thesis, Bibliographie

Hofmann, Martin (1997)
Syntax and semantics of dependent types.
In: Semantics and logics of computation, Edition: Cambridge: Univ. Press, 1997
Book Section, Bibliographie

Hofmann, Martin (1997)
An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras.
In: The bulletin of symbolic logic. 3 (1997), S. 469-485
Article, Bibliographie

Hofmann, Martin ; Pierce, Benjamin C. (1996)
Positive subtyping.
In: Information and computation, 126 (1)
doi: 10.1006/inco.1996.0031
Article, Bibliographie

Hofmann, Martin (1996)
Conservativity of equality reflection over intensional type theory.
Conference or Workshop Item, Bibliographie

Hofmann, Martin ; Sannella, Donald (1996)
On behavioural abstraction and behavioural satisfaction in higher-order logic.
In: Theoretical Computer Science, 167 (1-2)
doi: 10.1016/0304-3975(96)00068-0
Article, Bibliographie

Altenkirch, Thorsten ; Hofmann, Martin ; Streicher, Thomas (1995)
Categorical reconstruction of a reduction free normalization proof.
Conference or Workshop Item, Bibliographie

Hofmann, Martin (1995)
Extensional concepts in intensional type theory.
Book, Bibliographie

Hofmann, Martin (1995)
On the interpretation of type theory in locally cartesian closed categories.
Conference or Workshop Item, Bibliographie

Hofmann, Martin (1995)
Sound and complete axiomatisations of call-by-value control operators.
In: Mathematical structures in computer science. 5 (1995), S. 461-482
Article, Bibliographie

Hofmann, Martin (1995)
A simple model for quotient types.
Conference or Workshop Item, Bibliographie

This list was generated on Sat May 25 00:22:18 2024 CEST.