Work

The | lambda-Calculus.

Year: 1988

Type: article

Source: The Philosophical Review

DOI: 10.2307/2185110

Authors: Harold Hodes, H. P. Barendregt

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2313175711

FWCI: 35.18

Cites:

Cited by: 569

Related to: 10