scientific article
From MaRDI portal
Publication:3703897
zbMath0581.03048MaRDI QIDQ3703897
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
lambda calculussemantic equivalencecartesian closed categoriessyntactic equivalencecategories of modelsmany-sorted equational presentations
Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Equational classes, universal algebra in model theory (03C05) Combinatory logic and lambda calculus (03B40)
This page was built for publication: