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
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
