Artikel

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

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

Hofmann, Martin ; Streicher, Thomas (2002)
Completeness of continuation models for lambda my-calculus.
In: Information and computation, 179
Artikel, 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

Hofmann, Martin ; Pierce, Benjamin C. (1996)
Positive subtyping.
In: Information and computation, 126 (1)
doi: 10.1006/inco.1996.0031
Artikel, 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

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

Buchkapitel

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

Buch

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

Konferenzveröffentlichung

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

Hofmann, Martin ; Streicher, Thomas (1997)
Continuation models are universal for lambda-mu calculus.
Konferenzveröffentlichung, 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

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

Hofmann, Martin (1995)
On the interpretation of type theory in locally cartesian closed categories.
Konferenzveröffentlichung, Bibliographie

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

Habilitation

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

Dissertation

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