Searching for authors named "Martin Hofmann" – sorted by Relevance.
-
Semantical Analysis of Higher-Order Syntax
- Semantical analysis of higher-order abstract syntax Martin Hofmann Synopsis: A functor category
- Add To MetaCart
-
Safe recursion with higher types and BCK-algebra
- Safe recursion with higher types and BCK-algebra Martin Hofmann Abstract In previous work
- Cited by 15 (3 self) – Add To MetaCart
-
Semantics of Linear/modal Lambda Calculus
- Semantics of linear/modal lambda calculus Martin Hofmann Abstract In previous work the author
- Cited by 5 (2 self) – Add To MetaCart
-
In-place update with linear types or How to compile functional programs into malloc()-free C
- In-place update with linear types or How to compile functional programs into malloc()-free C Martin
- Cited by 3 (0 self) – Add To MetaCart
-
On the Interpretation of Type Theory in Locally Cartesian Closed Categories
- On the Interpretation of Type Theory in Locally Cartesian Closed Categories Martin Hofmann
- Cited by 25 (1 self) – Add To MetaCart
-
Linear Types and Non-Size-Increasing Polynomial Time Computation
- Linear types and non-size-increasing polynomial time computation Martin Hofmann Synopsis: We
- Cited by 52 (11 self) – Add To MetaCart
-
A mixed modal/linear lambda calculus with applications to Bellantoni-Cook safe recursion
- A mixed modal/linear lambda calculus with applications to Bellantoni-Cook safe recursion Martin
- Cited by 15 (7 self) – Add To MetaCart
-
Continuation models are universal for -calculus
- Continuation models are universal for *_-calculus Martin Hofmann and Thomas Streicher
- Cited by 13 (0 self) – Add To MetaCart
-
Pointer Programs and Undirected Reachability ∗
- Pointer Programs and Undirected Reachability ∗ Ulrich Schöpp † Martin Hofmann ‡ January 16, 2009
- Add To MetaCart
-
Pure Pointer Programs with Iteration
- Pure Pointer Programs with Iteration Martin Hofmann and Ulrich Schöpp Ludwig
- Add To MetaCart

