2023

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
Artikel, Bibliographie

2006

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

2002

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

1999

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

1998

Hofmann, Martin ; Streicher, Thomas (1998)
The groupoid interpretation of type theory.
Konferenzveröffentlichung, Bibliographie

Hofmann, Martin (1998)
A mixed modal/linear lambda calculus with application.
Konferenzveröffentlichung, Bibliographie

1997

Hofmann, Martin ; Streicher, Thomas (1997)
Continuation models are universal for lambda-mu calculus.
Konferenzveröffentlichung, Bibliographie

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

Hofmann, Martin (1997)
Syntax and semantics of dependent types.
In: Semantics and logics of computation, Auflage: Cambridge: Univ. Press, 1997
Buchkapitel, 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
Artikel, Bibliographie

1996

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

Hofmann, Martin (1996)
Conservativity of equality reflection over intensional type theory.
Internat. Workshop TYPES '95. Torino, Italy (05.06.1995-08.06.1995)
Konferenzveröffentlichung, 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
Artikel, Bibliographie

1995

Altenkirch, Thorsten ; Hofmann, Martin ; Streicher, Thomas (1995)
Categorical reconstruction of a reduction free normalization proof.
Konferenzveröffentlichung, Bibliographie

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

Hofmann, Martin (1995)
On the interpretation of type theory in locally cartesian closed categories.
Konferenzveröffentlichung, 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
Artikel, Bibliographie

Hofmann, Martin (1995)
A simple model for quotient types.
Konferenzveröffentlichung, Bibliographie