Work

The Lambda Calculus - Its Syntax and Semantics

Year: 1984

Type: book

Source: Studies in logic and the foundations of mathematics

DOI: 10.1016/c2009-0-14341-6

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2154273644

FWCI: 20.17

Cites:

Cited by: 2,796

Related to: 10

Parts: 38