Title of article

Syntactic analysis of η-expansions in Pure Type Systems

Author/Authors

Felix Joachimski، نويسنده ,

Issue Information

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

Pages

19

From page

53

To page

71

Keywords

g-Expansion , Strong normalization , Pure type systems

Journal title

Information and Computation

Serial Year

2003

Journal title

Information and Computation

Record number

333735