Perpetuality for Full and Safe Composition (in a Constructive Setting)
From MaRDI portal
Publication:3519510
DOI10.1007/978-3-540-70583-3_26zbMath1155.68352MaRDI QIDQ3519510
Publication date: 19 August 2008
Published in: Automata, Languages and Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-70583-3_26
68N18: Functional programming and lambda calculus
03B70: Logic in computer science
03B40: Combinatory logic and lambda calculus
Related Items