Recommendations
Cites work
- scientific article; zbMATH DE number 3872649 (Why is no real title available?)
- scientific article; zbMATH DE number 3244305 (Why is no real title available?)
- A network of microprocessors to execute reduction languages, part II
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- Continuation-Based Program Transformation Strategies
- Continuations: A mathematical semantics for handling full jumps
- Embedding continuations in procedural objects
- GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
- Logic continuations
- Proving algorithms by tail functions
- Scheme: A interpreter for extended lambda calculus
- The Mechanical Evaluation of Expressions
- The lambda calculus, its syntax and semantics
Cited in
(47)- From operational to denotational semantics
- Proving the correctness of recursion-based automatic program transformations
- Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\)
- Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus
- Representing Control: a Study of the CPS Transformation
- Towards Erlang verification by term rewriting
- Musings around the geometry of interaction, and coherence
- Programming and Proving with Classical Types
- Completeness of continuation models for \(\lambda_\mu\)-calculus
- A sound and complete bisimulation for contextual equivalence in \(\lambda\)-calculus with call/cc
- Relations between Control Mechanisms for Sequential Grammars1
- scientific article; zbMATH DE number 1479632 (Why is no real title available?)
- Sound and complete axiomatisations of call-by-value control operators
- A monadic framework for delimited continuations
- From global to local state, coalgebraically and compositionally
- scientific article; zbMATH DE number 2064223 (Why is no real title available?)
- The revised report on the syntactic theories of sequential control and state
- scientific article; zbMATH DE number 177785 (Why is no real title available?)
- Selective strictness and parametricity in structural operational semantics, inequationally
- Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus
- A theory for program and data type specification
- A context-based approach to proving termination of evaluation
- A type-theoretic foundation of delimited continuations
- Programs from proofs using classical dependent choice
- A syntactic theory of sequential state
- Representing Control: a Study of the CPS Transformation
- Semantics of interference control
- Classical call-by-need and duality
- A Complete, Co-inductive Syntactic Theory of Sequential Control and State
- A constructive logic behind the catch and throw mechanism
- Control reduction theories: the benefit of structural substitution
- Programs with continuations and linear logic
- Continuation calculus
- Model checking Erlang programs -- abstracting recursive function calls
- A third-order representation of the \(\lambda\mu\)-calculus
- Sequential syntactical decoding
- Syntactic theories in practice
- Proceedings of the first workshop on control operators and their semantics, COS 2013, Eindhoven, The Netherlands, June 24--25, 2013
- A complete, co-inductive syntactic theory of sequential control and state
- Refined program extraction from classical proofs
- Decomposing typed lambda calculus into a couple of categorical programming languages
- Universe Types for Topology and Encapsulation
- scientific article; zbMATH DE number 7056232 (Why is no real title available?)
- On the unification of classical, intuitionistic and affine logics
- Delimited control and computational effects
- Proving the correctness of recursion-based automatic program transformations
- scientific article; zbMATH DE number 7533352 (Why is no real title available?)
This page was built for publication: A syntactic theory of sequential control
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1101435)
