scientific article
From MaRDI portal
Publication:2794668
zbMath1331.03002MaRDI QIDQ2794668
Publication date: 11 March 2016
Full work available at URL: http://d-nb.info/993276490/34
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Combinatory logic and lambda calculus (03B40)
Related Items (1)
This page was built for publication:
