Work

Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem

Year: 1972

Type: article

Source: Indagationes Mathematicae (Proceedings)

DOI: 10.1016/1385-7258(72)90034-0

Author: N.G de Bruijn

Institution: Eindhoven University of Technology

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2568721247

FWCI:

Cites: 5

Cited by: 1,120

Related to: 10