Publication:4411844
From MaRDI portal
zbMath1021.03016MaRDI QIDQ4411844
Publication date: 10 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2471/24710506.htm
Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)
Related Items
Unnamed Item, Call-by-Value Is Dual to Call-by-Name, Extended, Iteration and labelled iteration, Classical natural deduction for S4 modal logic, Dual Calculus with Inductive and Coinductive Types