scientific article
From MaRDI portal
Publication:3081640
zbMath1244.03107MaRDI QIDQ3081640
Monika Seisenberger, Ulrich Berger
Publication date: 9 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Other constructive mathematics (03F65)
Related Items (1)
Uses Software
This page was built for publication: