Models for the computational -calculus
From MaRDI portal
Combinatory logic and lambda calculus (03B40) Categorical logic, topoi (03G30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Recommendations
Cites work
- Enrichment through variation
- Game theoretic analysis of call-by-value computation
- scientific article; zbMATH DE number 1670816 (Why is no real title available?)
- scientific article; zbMATH DE number 4179333 (Why is no real title available?)
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 1088046 (Why is no real title available?)
- scientific article; zbMATH DE number 1405668 (Why is no real title available?)
- scientific article; zbMATH DE number 1424060 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- Modelling environments in call-by-value programming languages.
- Notions of computation and monads
- Premonoidal categories and notions of computation
- Premonoidal categories as categories with algebraic structure
- Semantics for algebraic operations
- The formal theory of monads
Cited in
(22)- Modelling environments in call-by-value programming languages.
- The untyped computational \(\lambda \)-calculus and its intersection type discipline
- A category theoretic formulation for Engeler-style models of the untyped -calculus
- What is a model for a semantically linear -calculus?
- A Filter Model for the λμ-Calculus
- A General Class of Models of $\mathcal{H}^*$
- Models of the lambda calculus
- scientific article; zbMATH DE number 1330425 (Why is no real title available?)
- scientific article; zbMATH DE number 1330443 (Why is no real title available?)
- scientific article; zbMATH DE number 2061718 (Why is no real title available?)
- Numeration Models of λ‐Calculus
- scientific article; zbMATH DE number 1405668 (Why is no real title available?)
- scientific article; zbMATH DE number 7204561 (Why is no real title available?)
- scientific article; zbMATH DE number 5199143 (Why is no real title available?)
- scientific article; zbMATH DE number 5042669 (Why is no real title available?)
- A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations
- Filter models for conjunctive-disjunctive \(\lambda\)-calculi
- Univalent enriched categories and the enriched rezk completion
- The parametric lambda calculus. A metamodel for computation.
- Univalent enriched categories and the enriched Rezk completion
- Pseudo-distributive laws and axiomatics for variable binding
- Generic models for computational effects
This page was built for publication: Models for the computational \(\lambda\)-calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4923379)
