Variable binding term operators in \(\lambda\)-calculus

DOI10.1305/ndjfl/1093882809zbMath0407.03022OpenAlexW1966914926MaRDI QIDQ5967003

Martin W. Bunder

Publication date: 1979

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093882809

zbMATH Keywords

Lambda CalculusVariable Binding Term Operator

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (2)

On a synonymy relation for extensional first order theories. I: A notion of synonymy ⋮ Notes on the theory of variable binding term operators

This page was built for publication: Variable binding term operators in \(\lambda\)-calculus