مرکز منطقه ای اطلاع رساني علوم و فناوري - A Note on Complexity Measures for Inductive Classes in Constructive Type Theory,

Title of article :

A Note on Complexity Measures for Inductive Classes in Constructive Type Theory,

Author/Authors :

Robert L. Constable، نويسنده ,

Issue Information :

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

Pages :

From page :

137

To page :

153

Journal title :

Information and Computation

Serial Year :

1998

Journal title :

Information and Computation

Record number :

261778

Link To Document :