Storage operators and directed lambda-calculus
From MaRDI portal
Publication:4876311
DOI10.2307/2275874zbMath0852.03007MaRDI QIDQ4876311
Publication date: 13 June 1996
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275874
03B40: Combinatory logic and lambda calculus
Related Items
Opérateurs de mise en mémoire et types $\forall $-positifs, A semantical storage operator theorem for all types, A syntactical proof of the operational equivalence of two \(\lambda\)-terms, Strong storage operators and data types
Cites Work