Previous Up Next

References

[Bar84]
Henk Barendregt. The Lambda Calculus, Its Syntax and Semantics, volume 103 of Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, Amsterdam, 1984.

Previous Up Next