Title of article

Linear types and non-size-increasing polynomial time computation

Author/Authors

Martin Hofmann، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 2003

Pages

29

From page

57

To page

85

Keywords

Linear types , Type system , resources , Higher-order function , Complexity Theory

Journal title

Information and Computation

Serial Year

2003

Journal title

Information and Computation

Record number

262137