Travelled to:1 × Denmark
1 × Finland
1 × Germany
1 × Italy
1 × Poland
1 × United Kingdom
2 × USA
Collaborated with:∅ D.Sannella N.Benton V.Nigam
Talks about:type (5) abstract (3) logic (3) behaviour (2) program (2) increas (2) system (2) linear (2) higher (2) comput (2)
Person: Martin Hofmann 0001
DBLP: 0001:Martin_Hofmann
Facilitated 2 volumes:
Ed
EdContributed to:
2005
2004
20022001
20001999
19971995
1995
2016Wrote 11 papers:
- LICS-2005-Hofmann #approach
- Proof-Theoretic Approach to Description-Logic (MH0), pp. 229–237.
- ICALP-2004-Hofmann #logic #question #type system #what
- What Do Program Logics and Type Systems Have in Common? (MH0), pp. 4–7.
- POPL-2002-Hofmann
- The strength of non-size increasing computation (MH0), pp. 260–269.
- TLCA-2001-Hofmann #behaviour #bound #complexity #memory management #type system #using
- From Bounded Arithmetic to Memory Management: Use of Type Theory to Capture Complexity Classes and Space Behaviour (MH0), pp. 2–3.
- ESOP-2000-Hofmann #bound #functional #type system
- A Type System for Bounded Space and Functional In-Place Update--Extended Abstract (MH0), pp. 165–179.
- LICS-1999-Hofmann #analysis #higher-order #semantics #syntax
- Semantical Analysis of Higher-Order Abstract Syntax (MH0), pp. 204–213.
- LICS-1999-Hofmann99a #linear #polynomial
- Linear Types and Non-Size-Increasing Polynomial Time Computation (MH0), pp. 464–473.
- CSL-1997-Hofmann #linear #recursion #λ-calculus
- A Mixed Modal/Linear λ Calculus with Applications to Bellantoni-Cook Safe Recursion (MH0), pp. 275–294.
- TLCA-1995-Hofmann
- A Simple Model for Quotient Types (MH0), pp. 216–234.
- TAPSOFT-1995-HofmannS #abstraction #behaviour #higher-order #logic #on the
- On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic (MH0, DS), pp. 247–261.
- PPDP-2016-Benton0N #concurrent #source code
- Effect-dependent transformations for concurrent programs (NB, MH0, VN), pp. 188–201.