A construction of one-point bases in extended lambda calculi
From MaRDI portal
Publication:1029098
DOI10.1016/j.ipl.2003.12.005zbMath1178.68136WikidataQ56138477 ScholiaQ56138477MaRDI QIDQ1029098
Publication date: 9 July 2009
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ipl.2003.12.005
constants; programming languages; bases; functional programming; programming calculi; lambda calculi
Cites Work