scientific article
From MaRDI portal
Publication:3721820
zbMath0592.68045MaRDI QIDQ3721820
Pierre-Louis Curien, Guy Cousineau, Michel Mauny
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
calculusCartesian closed categoriesMLcompilerSECD machineimplementation of functional programming languagescategorical combinatory logiclambdaSK-reduction machine
Abstract data types; algebraic specification (68Q65) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)
Related Items (10)
Two-level semantics and code generation ⋮ The linear abstract machine ⋮ On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory ⋮ E-ccc: between ccc and topos, - its expressive power from the viewpoint of data type theory ⋮ NESTED ALGORITHMIC SKELETONS FROM HIGHER ORDER FUNCTIONS ⋮ Comparing Hagino's categorical programming language and typed lambda- calculi ⋮ Calculate categorically! ⋮ An abstract monadic semantics for value recursion ⋮ Abstract λ-Calculus Machines ⋮ Unnamed Item
This page was built for publication:
