مرکز منطقه ای اطلاع رساني علوم و فناوري - Linear types and non-size-increasing polynomial time computation

Title of article :

Linear types and non-size-increasing polynomial time computation

Author/Authors :

Martin Hofmann، نويسنده ,

Issue Information :

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

Pages :

From page :

To page :

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

Link To Document :