scientific article; zbMATH DE number 4179333
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- The Arrow Calculus as a Quantum Programming Language
- Probabilistic operational semantics for the lambda calculus
- Notions of computation as monoids
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- The untyped computational \(\lambda \)-calculus and its intersection type discipline
- Call-By-Push-Value from a Linear Logic Point of View
- \(\infty\)-groupoid generated by an arbitrary topological \(\lambda\)-model
- A model of dynamical concurrent program execution
- An equational notion of lifting monad
- Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence
- Semantics for algebraic operations
- Monads and algebras in the semantics of partial data types
- Algebra for quantitative information flow
- Turing-Completeness Totally Free
- Type checking and typability in domain-free lambda calculi
- scientific article; zbMATH DE number 7559296 (Why is no real title available?)
- Monad as modality
- Idioms are oblivious, arrows are meticulous, monads are promiscuous
- Problems in rewriting applied to categorical concepts by the example of a computational comonad
- A computer-verified monadic functional implementation of the integral
- Enriching an Effect Calculus with Linear Types
- Encoding types in ML-like languages
- From semantics to types: the case of the imperative \(\lambda\)-calculus
- A unifying approach to goal-directed evaluation
- Building verification condition generators by compositional extension
- Quantum arrows in Haskell
- Modal crash types for intermittent computing
- Program algebra for quantitative information flow
- Interpreting Localized Computational Effects Using Operators of Higher Type
- Lawvere theories enriched over a general base
- A tutorial on a monadic approach for exppressions evaluation
- Monads and Quantitative Equational Theories for Nondeterminism and Probability
- scientific article; zbMATH DE number 7056232 (Why is no real title available?)
- Cartesian effect categories are Freyd-categories
- scientific article; zbMATH DE number 3940711 (Why is no real title available?)
- A mechanically assisted constructive proof in category theory
- Head reduction and normalization in a call-by-value lambda-calculus
- Coproducts of Ideal Monads
- Counting successes: effects and transformations for non-deterministic programs
- Tail recursion through universal invariants
- scientific article; zbMATH DE number 7533346 (Why is no real title available?)
- Functions with local state: regularity and undecidability
- Unifying graded and parameterised monads
- scientific article; zbMATH DE number 2156365 (Why is no real title available?)
- Monad transformers as monoid transformers
- The lambda calculus: practice and principle
- Combining and relating control effects and their semantics
- The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving
- Comparing free algebras in topological and classical domain theory
- Covariant types
- A representable approach to finite nondeterminism
- A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits
- Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation
- From exponential to polynomial-time security typing via principal types
- Effectful applicative similarity for call-by-name lambda calculi
- Invariants of monadic coalgebras
- scientific article; zbMATH DE number 29052 (Why is no real title available?)
- On the semantics of parsing actions
- When programs have to watch paint dry
- Axioms for control operators in the CPS hierarchy
- On the relations between monadic semantics
- A fibrational tale of operational logical relations: pure, effectful and differential
- A co-induction principle for recursively defined domains
- A category-theoretic account of program modules
- Observationally-induced algebras in domain theory
- Dependent types and fibred computational effects
- Quantitative domains and infinitary algebras
- Inferring the equivalence of functional programs that mutate data
- An Operational Account of Call-by-Value Minimal and Classical λ-Calculus in “Natural Deduction” Form
- Translating regular expression matching into transducers
- On reduction and normalization in the computational core
- Notions of computation and monads
- A first order logic of effects
- Canonical Gradings of Monads
- The order-K-ification monads
- Freyd categories are enriched Lawvere theories
- All adapted topologies are equal
- The proof monad
- Netter: probabilistic, stateful network models
- Pseudo-distributive laws and axiomatics for variable binding
- Call-by-push-value: Decomposing call-by-value and call-by-name
- Models for the computational \(\lambda\)-calculus
- Semantics of quantum programming languages: Classical control, quantum control
- Anatomy of a domain of continuous random variables. II
- A selective CPS transformation
- Combining algebraic effects with continuations
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- Classical control, quantum circuits and linear logic in enriched category theory
- Classical control and quantum circuits in enriched category theory
- Monads for the formalization of a pattern matching procedure
- Runners in Action
- Discrete Lawvere theories and computational effects
- scientific article; zbMATH DE number 7243675 (Why is no real title available?)
- Modelling environments in call-by-value programming languages.
- scientific article; zbMATH DE number 7779295 (Why is no real title available?)
- Generic models for computational effects
- From global to local state, coalgebraically and compositionally
- Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
- Reversible effects as inverse arrows
- The connected Vietoris powerlocale
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3202991)
