dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Martin Hofmann (Selection)

LMU München

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Hoffmann, Klaus Aehlig, Martin Hofmann: Resource Aware ML. CAV 2012: 781-786
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Dulma Rodriguez: Linear Constraints over Infinite Trees. LPAR 2012: 343-358
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Benjamin C. Pierce, Daniel Wagner: Edit lenses. POPL 2012: 495-508
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann: Foundations of Software Science and Computational Structures - 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings Springer 2011
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Grabowski, Martin Hofmann, Keqin Li: Type-Based Enforcement of Secure Programming Guidelines - Code Injection Prevention at SAP. Formal Aspects in Security and Trust 2011: 182-197
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Hoffmann, Klaus Aehlig, Martin Hofmann: Multivariate amortized resource analysis. POPL 2011: 357-370
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Benjamin C. Pierce, Daniel Wagner: Symmetric lenses. POPL 2011: 371-384
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Dal Lago, Martin Hofmann: Realizability models and implicit complexity. Theor. Comput. Sci. 412(20): 2029-2047 (2011)
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Wirsing, Martin Hofmann, Axel Rauschmayer: Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers Springer 2010
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Hoffmann, Martin Hofmann: Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics. APLAS 2010: 172-187
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Hoffmann, Martin Hofmann: Amortized Resource Analysis with Polynomial Potential. ESOP 2010: 287-306
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Aleksandr Karbyshev, Helmut Seidl: What Is a Pure Functional? ICALP (2) 2010: 199-210
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLennart Beringer, Robert Grabowski, Martin Hofmann: Verifying Pointer and String Analyses with Region Type Systems. LPAR (Dakar) 2010: 82-102
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann: Static determination of quantitative resource usage for higher-order programs. POPL 2010: 223-236
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Baillot, Martin Hofmann: Type inference in intuitionistic linear logic. PPDP 2010: 219-230
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Aleksandr Karbyshev, Helmut Seidl: Verifying a Local Generic Solver in Coq. SAS 2010: 340-355
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Ulrich Schöpp: Pure pointer programs with iteration. ACM Trans. Comput. Log. 11(4): (2010)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Dal Lago, Martin Hofmann: Bounded Linear Logic, Revisited Logical Methods in Computer Science 6(4): (2010)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Dal Lago, Martin Hofmann: A Semantic Proof of Polytime Soundness of Light Affine Logic. Theory Comput. Syst. 46(4): 673-689 (2010)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Dulma Rodriguez: Efficient Type-Checking for Amortised Heap-Space Analysis. CSL 2009: 317-331
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann: "Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. FM 2009: 354-369
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Ulrich Schöpp: Pointer Programs and Undirected Reachability. LICS 2009: 133-142
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann: Relational semantics for effect-based program transformations: higher-order store. PPDP 2009: 301-312
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Dal Lago, Martin Hofmann: Bounded Linear Logic, Revisited. TLCA 2009: 80-94
82no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett: Types, Logics and Semantics for State, 03.02. - 08.02.2008 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Ulrich Schöpp: Pure Pointer Programs with Iteration. CSL 2008: 79-93
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Dal Lago, Martin Hofmann: A Semantic Proof of Polytime Soundness of Light Affine Logic. CSR 2008: 134-145
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurdoch James Gabbay, Martin Hofmann: Nominal Renaming Sets. LPAR 2008: 158-173
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasahito Hasegawa, Martin Hofmann, Gordon D. Plotkin: Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories. Pillars of Computer Science 2008: 367-385
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett: 08061 Abstracts Collection -- Types, Logics and Semantics for State. Types, Logics and Semantics for State 2008
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett: 08061 Executive Summary -- Types, Logics and Semantics for State. Types, Logics and Semantics for State 2008
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLennart Beringer, Martin Hofmann: A Bytecode Logic for JML and Types. Archive of Formal Proofs 2008: (2008)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLennart Beringer, Martin Hofmann: Secure information flow and program logics. Archive of Formal Proofs 2008: (2008)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Schöpp, Martin Hofmann: Pointer Programs and Undirected Reachability. Electronic Colloquium on Computational Complexity (ECCC) 15(090): (2008)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Aspinall, Martin Hofmann, Michal Konecný: A type system with usage aspects. J. Funct. Program. 18(2): 141-178 (2008)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Matthias Felleisen: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007 ACM 2007
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLennart Beringer, Martin Hofmann: Secure information flow and program logics. CSF 2007: 233-248
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLennart Beringer, Martin Hofmann, Mariela Pavlova: Certification Using the Mobius Base Logic. FMCO 2007: 25-51
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann: Relational semantics for effect-based program transformations with dynamic allocation. PPDP 2007: 87-96
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Mariela Pavlova: Elimination of Ghost Variables in Program Logics. TGC 2007: 1-20
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano: A program logic for resources. Theor. Comput. Sci. 389(3): 411-445 (2007)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer: Reading, Writing and Relations. APLAS 2006: 114-130
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLennart Beringer, Martin Hofmann: A Bytecode Logic for JML and Types. APLAS 2006: 389-405
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Steffen Jost: Type-Based Amortised Heap-Space Analysis. ESOP 2006: 22-37
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Dax, Martin Hofmann, Martin Lange: A Proof System for the Linear Time µ-Calculus. FSTTCS 2006: 273-284
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller, Erik Poll, Germán Puebla, Ian Stark, Eric Vétillard: MOBIUS: Mobility, Ubiquity, Security. TGC 2006: 10-29
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace: Towards Formally Verifiable WCET Analysis for a Functional Programming Language. WCET 2006
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Jaap van Oosten, Thomas Streicher: Well-foundedness in Realizability. Arch. Math. Log. 45(7): 795-805 (2006)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hofmann: Consistency of the theory of contexts. J. Funct. Program. 16(3): 327-372 (2006)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Hans-Wolfgang Loidl: Preface. Theor. Comput. Sci. 364(3): 271-272 (2006)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Dal Lago, Martin Hofmann: Quantitative Models and Implicit Complexity. FSTTCS 2005: 189-200
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann: Proof-Theoretic Approach to Description-Logic. LICS 2005: 229-237
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace: The Embounded project (project start paper). Trends in Functional Programming 2005: 195-210
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDonald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska: Mobile Resource Guarantees (project evaluation paper). Trends in Functional Programming 2005: 211-226
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Dal Lago, Martin Hofmann: Quantitative Models and Implicit Complexity CoRR abs/cs/0506079: (2005)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Pawel Urzyczyn: Typed Lambda Calculi and Applications 2003, Selected Papers. Fundam. Inform. 65(1-2): (2005)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark: Mobile Resource Guarantees for Smart Devices. CASSIS 2004: 1-26
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann: What Do Program Logics and Type Systems Have in Common? ICALP 2004: 4-7
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska: Automatic Certification of Heap Consumption. LPAR 2004: 347-362
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano: A Program Logic for Resource Verification. TPHOLs 2004: 34-49
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Hötzel Escardó, Martin Hofmann, Thomas Streicher: On the non-sequential nature of the interval-domain model of real-number computation. Mathematical Structures in Computer Science 14(6): 803-814 (2004)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Philip J. Scott: Realizability models for BLL-like languages. Theor. Comput. Sci. 318(1-2): 121-137 (2004)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Aehlig, Ulrich Berger, Martin Hofmann, Helmut Schwichtenberg: An arithmetic for non-size-increasing polynomial-time computation. Theor. Comput. Sci. 318(1-2): 3-27 (2004)
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann: Typed Lambda Calculi and Applications, 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings. Springer 2003
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann: Certification of Memory Usage. ICTCS 2003: 21
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Steffen Jost: Static prediction of heap space usage for first-order functional programs. POPL 2003: 185-197
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann: Linear types and non-size-increasing polynomial time computation. Inf. Comput. 183(1): 57-85 (2003)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJirí Adámek, Martín Hötzel Escardó, Martin Hofmann: Preface. Theor. Comput. Sci. 294(1/2): 1 (2003)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Aspinall, Martin Hofmann: Another Type System for In-Place Update. ESOP 2002: 36-52
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann: The strength of non-size increasing computation. POPL 2002: 260-269
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Benjamin C. Pierce: Type Destructors. Inf. Comput. 172(1): 29-62 (2002)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Thomas Streicher: Completeness of Continuation Models for lambda-mu-Calculus. Inf. Comput. 179(2): 332-355 (2002)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Bellantoni, Martin Hofmann: A New "Feasible" Arithmetic. J. Symb. Log. 67(1): 104-116 (2002)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThorsten Altenkirch, Peter Dybjer, Martin Hofmann, Philip J. Scott: Normalization by Evaluation for Typed Lambda Calculus with Coproducts. LICS 2001: 303-310
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann: The Strength of Non-size-increasing Computation (Introduction and Summary). MFCS 2001: 58-61
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann: From Bounded Arithmetic to Memory Management: Use of Type Theory to Capture Complexity Classes and Space Behaviour. TLCA 2001: 2-3
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann: A Type System for Bounded Space and Functional In-Place Update--Extended Abstract. ESOP 2000: 165-179
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Francis Tang: Implementing a Program Logic of Objects in a Higher-Order Logic Theorem Prover. TPHOLs 2000: 268-282
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann: Safe recursion with higher types and BCK-algebra. Ann. Pure Appl. Logic 104(1-3): 113-166 (2000)
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann: A Type System for Bounded Space and Functional In-Place Update. Nord. J. Comput. 7(4): 258-289 (2000)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann: Programming languages capturing complexity classes. SIGACT News 31(1): 31-42 (2000)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann: Semantical Analysis of Higher-Order Abstract Syntax. LICS 1999: 204-213
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann: Linear Types and Non-Size-Increasing Polynomial Time Computation. LICS 1999: 464-473
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Giuseppe Rosolini, Dusko Pavlovic: Preface. Electr. Notes Theor. Comput. Sci. 29: 1 (1999)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann: Semantics of Linear/Modal Lambda Calculus. J. Funct. Program. 9(3): 247-277 (1999)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThierry Coquand, Martin Hofmann: A new method for establishing conservativity of classical systems over their intuitionistic version. Mathematical Structures in Computer Science 9(4): 323-333 (1999)
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Wolfgang Naraschewski, Martin Steffen, Terry Stroup: Inheritance of Proofs. TAPOS 4(1): 51-69 (1998)
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann: Extensional constructs in intensional type theory. Springer 1997: I-XII, 1-214
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann: A Mixed Modal/Linear Lambda Calculus with Applications to Bellantoni-Cook Safe Recursion. CSL 1997: 275-294
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Thomas Streicher: Continuation Models are Universal for Lambda-Mu-Calculus. LICS 1997: 387-395
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann: An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras. Bulletin of Symbolic Logic 3(4): 469-486 (1997)
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThorsten Altenkirch, Martin Hofmann, Thomas Streicher: Reduction-Free Normalisation for a Polymorphic System. ISTCS 1996: 146
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThorsten Altenkirch, Martin Hofmann, Thomas Streicher: Reduction-Free Normalisation for a Polymorphic System. LICS 1996: 98-106
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Benjamin C. Pierce: Positive Subtyping. Inf. Comput. 126(1): 11-33 (1996)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Donald Sannella: On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic. Theor. Comput. Sci. 167(1&2): 3-45 (1996)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThorsten Altenkirch, Martin Hofmann, Thomas Streicher: Categorical Reconstruction of a Reduction Free Normalization Proof. Category Theory and Computer Science 1995: 182-199
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Benjamin C. Pierce: Positive Subtyping. POPL 1995: 186-197
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Donald Sannella: On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic. TAPSOFT 1995: 247-261
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann: A Simple Model for Quotient Types. TLCA 1995: 216-234
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann: Conservativity of Equality Reflection over Intensional Type Theory. TYPES 1995: 153-164
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Benjamin C. Pierce: A Unifying Type-Theoretic Framework for Objects. J. Funct. Program. 5(4): 593-635 (1995)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann: Sound and Complete Axiomatisations of Call-by-Value Control Operators. Mathematical Structures in Computer Science 5(4): 461-482 (1995)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann: On the Interpretation of Type Theory in Locally Cartesian Closed Categories. CSL 1994: 427-441
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Thomas Streicher: The Groupoid Model Refutes Uniqueness of Identity Proofs LICS 1994: 208-212
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Benjamin C. Pierce: A Unifying Type-Theoretic Framework for Objects. STACS 1994: 251-262
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann: Elimination of Extensionality in Martin-Löf Type Theory. TYPES 1993: 166-190

Selection of 106 from 106 records - Martin Hofmann has 74 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page