Searching for "Linear types and non-size-increasing polynomial time computation." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
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
-
Termination
- … and Information Science, 1994. [Hof00a] Martin Hofmann. Linear types and non-size increasing polynomial time…
- Add To MetaCart
-
Chapter 7 Linear Type Theory
- … of non-size-increasing polynomial time computation. Submitted, 2001. A previous version presented at LICS…
- Add To MetaCart
-
Chapter 6 Linear -Calculus
- … BIBLIOGRAPHY 119 [Hof00a] Martin Hofmann. Linear types and non-size increasing polynomial time computation…
- Add To MetaCart
-
Chapter 6 Linear λ-Calculus
- …] Martin Hofmann. Linear types and non-size increasing polynomial time computation. Theoretical Computer…
- Add To MetaCart
-
Propositions A:: = P Atoms
- … of Computer and Information Science, 1994. [Hof00a] Martin Hofmann. Linear types and non-size increasing…
- Add To MetaCart
Showing 1 through 6.
