`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:

### Contributed to:

### Wrote 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.