A notation for lambda terms. A generalization of environments

From MaRDI portal
Publication:1129257

DOI10.1016/S0304-3975(97)00184-9zbMath0901.03015MaRDI QIDQ1129257

Gopalan Nadathur, Debra Sue Wilson

Publication date: 13 August 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)




Related Items


Uses Software


Cites Work