scientific article
From MaRDI portal
Publication:2763649
zbMath1037.03008MaRDI QIDQ2763649
Rob Nederpelt, Fairouz Kamareddine, Twan Laan
Publication date: 21 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2024/20240375
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)
Related Items
Bridging Curry and Church's typing style, Revisiting the notion of function, Automath and Pure Type Systems
Uses Software