Searching for authors named "Martin Hofmann" – sorted by Relevance.
68 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
