Chapter 6 - Classical Lambda Calculus

Thumbnail Image

Date

1985

Authors

Barendregt, H.P. Henk

Journal Title

Journal ISSN

Volume Title

Publisher

New York : Elsevier Science Publishers

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Studies in Logic and the Foundations of Mathematics

Citation

URI

https://hdl.handle.net/2066/287263

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By