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.

Hofmann, Martin and van Oosten, Jaap and Streicher, Thomas (2006):
Well-foundedness in realizability.
In: Archive for mathematical logic, 45. pp. 795--805, [Article]

Hofmann, Martin and Streicher, Thomas (2002):
Completeness of continuation models for lambda my-calculus.
In: Information and computation, 179pp. 332-355, [Article]

Hofmann, Martin (1999):
Type systems for polynomial time computation.
Darmstadt: 1999. III, 130 S,
Darmstadt, Technische Univ. Darmstadt, [Habilitation]

Hofmann, Martin and Streicher, Thomas (1998):
The groupoid interpretation of type theory.
In: Meeting Twenty-Five Years of Constructive Type Theory <1995, Venice>: Proceedings. Hrsg.: G. Sambin (u.a.), Oxford: Univ. Press, 1998,
Oxford, Univ. Press, [Conference or Workshop Item]

Hofmann, Martin (1998):
A mixed modal/linear lambda calculus with application.
1414In: Workshop on Computer Science Logic - CSL <11,1997, Aarhus>: Proceedings. S. 275-294, Berlin, Heidelberg (u.a.): Springer, 1998,
Berlin, Heidelberg (u.a.), Springer, [Conference or Workshop Item]

Hofmann, Martin and Streicher, Thomas (1997):
Continuation models are universal for lambda-mu calculus.
In: Annual IEEE Symposium on Logic in Computer Science (LICS97) <12, 1997, Warsaw, Poland>: Proceedings. S. 387-397, [Conference or Workshop Item]

Hofmann, Martin (1997):
Extensional concepts in intensional type theory.
Berlin (u.a.): Springer, 1997. 214 S,
Berlin (u.a.), Springer, TU Darmstadt, [Ph.D. Thesis]

Hofmann, Martin (1997):
Syntax and semantics of dependent types.
In: Semantics and logics of computation. Hrsg.: A. M. Pitts (u.a.) S. 79-130, Cambridge: Univ. Press, 1997,
Cambridge, Univ. Press, [Book Section]

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]

Hofmann, Martin (1996):
Conservativity of equality reflection over intensional type theory.
1158In: Types for proof and programs: selected papers / Internat. Workshop TYPES '95, Torino, Italy, 1995. Hrsg.: S. Berardi (u.a.), Berlin, Heidelberg (u.a.): Springer, 1996,
Berlin, Heidelberg (u.a.), Springer, [Conference or Workshop Item]

Hofmann, Martin (1996):
On behavioural abstraction and behavioural satisfaction in higher-order logic.
In: Theoretical computer science. 167 (1996), S. 3-45, [Article]

Hofmann, Martin (1996):
On behavioural abstraction and behavioural satisfaction in higher-order logic.
In: Theoretical computer science. 167 (1996), S. 3-45, [Article]

Hofmann, Martin and Pierce, and Pierce, (1996):
Positive subtyping.
In: Information and computation. 126 (1996), No. 1, S. 186-197, [Article]

Altenkirch, Thorsten and Hofmann, Martin and Streicher, Thomas (1995):
Categorical reconstruction of a reduction free normalization proof.
953In: Category Theory and Computer Science <1995, Cambridge>: Proceedings. Hrsg.: D. Pitt et al. - Berlin, Heidelberg (u.a.): Springer, 1995, Berlin, Heidelberg (u.a.), Springer, [Conference or Workshop Item]

Hofmann, Martin (1995):
Extensional concepts in intensional type theory.
Edinburgh: Univ., Dept. of Computer Science, 1995. XI,288 S.,
Edinburgh, Univ., Dept. of computer science, [Book]

Hofmann, Martin (1995):
On the interpretation of type theory in locally cartesian closed categories.
933In: Workshop on Computer Science Logic: CSL <1994, Kazimierz, Poland>; Proceedings. S. 427-442, Berlin, Heidelberg (u.a.): Springer, 1995,
Berlin, Heidelberg (u.a.), Springer, [Conference or Workshop Item]

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]

Hofmann, Martin (1995):
A simple model for quotient types.
902In: International Conference on Typed Lambda Calculi and Application <2, 1995, Edinburgh>: Proceedings. S. 216-234, Berlin, Heidelberg (u.a.): Springer, 1995,
Berlin, Heidelberg (u.a.), Springer, [Conference or Workshop Item]

This list was generated on Tue Oct 20 02:16:41 2020 CEST.