Work

The Type Free Lambda Calculus

Year: 1977

Type: book-chapter

Source: Studies in logic and the foundations of mathematics

DOI: 10.1016/s0049-237x(08)71129-7

Author: Henk P. Barendregt

Language: English

Topic: Computability, Logic, AI Algorithms

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2097311580

FWCI: 9.377

Cites: 8

Cited by: 102

Related to: 10