مرکز منطقه ای اطلاع رساني علوم و فناوري - An Information System Interpretation of Martin-Löf′s Partial Type Theory with Universes

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 :

From page :

To page :

Journal title :

Information and Computation

Serial Year :

1993

Journal title :

Information and Computation

Record number :

261337

Link To Document :