Lambda calculi with types

Thumbnail Image

Files

Primary 13247.pdf (65.26 MB)
 17231.pdf (798.31 KB)

Date

1992

Authors

Barendregt, Henk

Journal Title

Journal ISSN

Volume Title

Publisher

Oxford : Clarendon Press
New York : Oxford University Press

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

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

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By