Formal metatheory of the lambda calculus using Stoughton's substitution
From MaRDI portal
Publication:2358702
DOI10.1016/j.tcs.2016.08.025zbMath1383.03021MaRDI QIDQ2358702
Nora Szasz, Álvaro Tasistro, Ernesto Copello
Publication date: 15 June 2017
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2016.08.025
03B40: Combinatory logic and lambda calculus
Uses Software