Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite


Inhaltsbereich

Bibliographie

Referenzen auf Publikationen, sortiert nach Erscheinungsjahr und Autoren.

Hofmann, M (1999).
Semantical Analysis of Higher-Order Abstract Syntax
In: 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999, pp. 204-213, IEEE Computer Society (ISBN: 0-7695-0158-3).

Hofmann, M and Streicher, T (1997).
Continuation Models are Universal for Lambda-Mu-Calculus
In: Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997, pp. 387-395, IEEE Computer Society (ISBN: 0-8186-7925-5).

Altenkirch, T, Hofmann, M, and Streicher, T (1996).
Reduction-Free Normalisation for a Polymorphic System
In: ISTCS, pp. 146.

Altenkirch, T, Hofmann, M, and Streicher, T (1995).
Categorical Reconstruction of a Reduction Free Normalization Proof
In: Category Theory and Computer Science, 6th International Conference, CTCS '95, Cambridge, UK, August 7-11, 1995, Proceedings, ed. by David H. Pitt and David E. Rydeheard and Peter Johnstone, vol. 953, pp. 182-199, Springer. Lecture Notes in Computer Science (ISBN: 3-540-60164-3).

Hofmann, M (1995).
A Simple Model for Quotient Types
In: Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, UK, April 10-12, 1995, Proceedings, ed. by Mariangiola Dezani-Ciancaglini and Gordon D. Plotkin, vol. 902, pp. 216-234, Springer. Lecture Notes in Computer Science (ISBN: 3-540-59048-X).

Hofmann, M (1995).
Conservativity of Equality Reflection over Intensional Type Theory
In: Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers, ed. by Stefano Berardi and Mario Coppo, vol. 1158, pp. 153-164, Springer. Lecture Notes in Computer Science (ISBN: 3-540-61780-9).

Hofmann, M and Pierce, BC (1995).
Positive Subtyping
In: POPL, pp. 186-197.

Hofmann, M and Sannella, D (1995).
On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic
In: TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings, ed. by Peter D. Mosses and Mogens Nielsen and Michael I. Schwartzbach, vol. 915, pp. 247-261, Springer. Lecture Notes in Computer Science (ISBN: 3-540-59293-8).

Hofmann, M (1994).
On the Interpretation of Type Theory in Locally Cartesian Closed Categories
In: Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers, ed. by Leszek Pacholski and Jerzy Tiuryn, vol. 933, pp. 427-441, Springer. Lecture Notes in Computer Science (ISBN: 3-540-60017-5).

Hofmann, M and Pierce, BC (1994).
A Unifying Type-Theoretic Framework for Objects
In: STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings, ed. by Patrice Enjalbert and Ernst W. Mayr and Klaus W. Wagner, vol. 775, pp. 251-262, Springer. Lecture Notes in Computer Science (ISBN: 3-540-57785-8).

Hofmann, M and Streicher, T (1994).
The Groupoid Model Refutes Uniqueness of Identity Proofs
In: LICS, pp. 208-212.

Hofmann, M (1993).
Elimination of Extensionality in Martin-Löf Type Theory
In: Types for Proofs and Programs, International Workshop TYPES'93, Nijmegen, The Netherlands, May 24-28, 1993, Selected Papers, ed. by Henk Barendregt and Tobias Nipkow, vol. 806, pp. 166-190, Springer. Lecture Notes in Computer Science (ISBN: 3-540-58085-9).


Funktionsleiste

Servicebereich
News and Events

For news and events please switch to the German page.