scientific article
From MaRDI portal
Publication:3024901
zbMath1063.68597MaRDI QIDQ3024901
Publication date: 4 July 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Combinatory logic and lambda calculus (03B40)
This page was built for publication: