scientific article; zbMATH DE number 1547348
From MaRDI portal
Publication:4521592
zbMath0954.03016MaRDI QIDQ4521592
Publication date: 20 December 2000
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) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Combinatory logic and lambda calculus (03B40)
This page was built for publication: