TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 18.

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

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

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

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

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

Hofmann, Martin ; Streicher, Thomas :
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 .
[Konferenz- oder Workshop-Beitrag], (1997)

Hofmann, Martin :
Extensional concepts in intensional type theory.
Springer , Berlin (u.a.)
[Dissertation]

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

Hofmann, Martin :
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], (1997)

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

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

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

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

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

Hofmann, Martin:
Extensional concepts in intensional type theory.
Univ., Dept. of computer science, Edinburgh
[Buch], (1995)

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

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

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

Diese Liste wurde am Sat Sep 23 08:17:17 2017 CEST generiert.