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

Indagationes Mathematicae

Volumn 34, Issue 5, 1972, Pages 381-392

  de Bruijn, N G ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 49649139118     PISSN: 00193577     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (4)