Untyped lambda-calculus with input-output
From MaRDI portal
Publication:5878918
DOI10.1007/3-540-61064-2_46MaRDI QIDQ5878918
Publication date: 23 February 2023
Published in: Trees in Algebra and Programming — CAAP '96 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61064-2_46
68N18: Functional programming and lambda calculus
68Q55: Semantics in the theory of computing
03B40: Combinatory logic and lambda calculus
Related Items
Unnamed Item, From Applicative to Environmental Bisimulation, Program equivalence in a simple language with state
Cites Work