scientific article
From MaRDI portal
Publication:3035254
zbMath0693.03006MaRDI QIDQ3035254
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40)
Related Items
Algebraic proofs of cut elimination, Singleton, union and intersection types for program extraction, Polymorphic lambda calculus: The Church-Rosser property