Title of article
An Information System Interpretation of Martin-Löf′s Partial Type Theory with Universes
Author/Authors
Palmgren E.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1993
Pages
35
From page
26
To page
60
Journal title
Information and Computation
Serial Year
1993
Journal title
Information and Computation
Record number
261337
Link To Document