مرکز منطقه ای اطلاع رساني علوم و فناوري - Syntactic analysis of η-expansions in Pure Type Systems

Title of article :

Syntactic analysis of η-expansions in Pure Type Systems

Author/Authors :

Felix Joachimski، نويسنده ,

Issue Information :

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

Pages :

From page :

To page :

Keywords :

Pure type systems , g-Expansion , Strong normalization

Journal title :

Information and Computation

Serial Year :

2003

Journal title :

Information and Computation

Record number :

262130

Link To Document :