Book contents
9 - Properties of Terms with Types λA=
from Part II - Recursive Types λA=
Published online by Cambridge University Press: 05 August 2013
Summary

- Type
- Chapter
- Information
- Lambda Calculus with Types , pp. 494 - 519Publisher: Cambridge University PressPrint publication year: 2013