Title of article
A Note on Complexity Measures for Inductive Classes in Constructive Type Theory,
Author/Authors
Robert L. Constable، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1998
Pages
17
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