scientific article
From MaRDI portal
Publication:2851092
zbMath1272.03074MaRDI QIDQ2851092
J. B. Wells, Sébastien Carlier
Publication date: 2 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105050656
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Combinatory logic and lambda calculus (03B40)
Related Items (1)
This page was built for publication:
