Correspondence between ALGOL 60 and Church's Lambda-notation
From MaRDI portal
Publication:5345264
Cited in
(47)- Locally complete consistent F-augmented contexts: a category-theoretic representation of algebraic L-domains
- On the complexity of stream equality
- Head reduction and normalization in a call-by-value lambda-calculus
- Continuation-passing C, compiling threads to events through continuations
- Computational interpretations of linear logic
- The lambda-gamma calculus: A language adequate for defining recursive functions
- The IO- and OI-hierarchies
- Expressive power of typed and type-free programming languages
- Peter J. Landin (1930--2009)
- On the number of unary-binary tree-like structures with restrictions on the unary height
- scientific article; zbMATH DE number 3697079 (Why is no real title available?)
- Language transformations in the classroom
- Polymorphic programming I. Another language designed on semantic principles
- SEMANOL (73), a metalanguage for programming the semantics of programming languages
- The origins of structural operational semantics
- Quantitative fuzzy semantics
- A theory for program and data type specification
- A glimpse into the paradise of combinatory algebra
- A CUCH-machine: The automatic treatment of bound variables
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- scientific article; zbMATH DE number 3720894 (Why is no real title available?)
- On procedures as open subroutines. II
- The semantics of second-order lambda calculus
- Program proving: KJumps and functions
- A linear first-order functional intermediate language for verified compilers
- A functional computation model for the duality of two-variable lambda-Boolean functions
- scientific article; zbMATH DE number 3605901 (Why is no real title available?)
- Semantics of context-free languages
- A theory for nondeterminism, parallelism, communication, and concurrency
- Full abstraction for the second order subset of an Algol-like language
- Hierarchical development of programming languages
- A functional programming approach to the specification and verification of concurrent systems
- VDM semantics of programming languages: Combinators and monads
- An empirical study of on-line models for relational data streams
- A categorical interpretation of Landin's correspondence principle
- scientific article; zbMATH DE number 3659565 (Why is no real title available?)
- Higher-order substitutions
- Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus
- Fortifying macros
- A category theory for programming languages
- Meaning and computing: two approaches to computable propositions
- Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control
- An observationally complete program logic for imperative higher-order functions
- Pair grammars, graph languages and string-to-graph translations
- Output driven interpretation of recursive programs, or writing creates and destroys data structures
- A survey of state vectors
- A syntactic theory of sequential state
This page was built for publication: Correspondence between ALGOL 60 and Church's Lambda-notation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5345264)
