scientific article; zbMATH DE number 4047683
From MaRDI portal
Publication:3784044
Recommendations
Cited in
(63)- On the algebraic structure of declarative programming languages
- Structures definable in polymorphism
- Structural induction and coinduction in a fibrational setting
- Defining concurrent processes constructively
- Categorical abstract machines for higher-order typed -calculi
- A hidden agenda
- Universal coalgebra: A theory of systems
- Iteration and coiteration schemes for higher-order and nested datatypes
- Undecidability of equality for codata types
- Generic recursive lens combinators and their calculation laws
- A perspective on service orchestration
- Algebras versus coalgebras
- Recursive coalgebras from comonads
- Typed λ-calculus with recursive definitions
- Inductive, coinductive, and pointed types
- An exercise on transition systems
- Let's see how things unfold: reconciling the infinite with the intensional (extended abstract)
- Friends with benefits. Implementing corecursion in foundational proof assistants
- Semantics of typed lambda-calculus with constructors
- scientific article; zbMATH DE number 7037626 (Why is no real title available?)
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics
- Bisimulations generated from corecursive equations
- A Lambda-Calculus with Constructors
- A Polymorphic Type System for the Lambda-Calculus with Constructors
- The λ-calculus with constructors: Syntax, confluence and separation
- Two extensions of System F with (co)iteration and primitive (co)recursion principles
- Categorical semantics for higher order polymorphic lambda calculus
- scientific article; zbMATH DE number 19485 (Why is no real title available?)
- Circuits as streams in Coq: verification of a sequential multiplier
- Termination checking with types
- scientific article; zbMATH DE number 937839 (Why is no real title available?)
- From algebras and coalgebras to dialgebras
- A typed, algebraic, computational lambda-calculus
- Kolmogorov complexity of categories
- Dependent inductive and coinductive types are fibrational dialgebras
- Reasoning about modular datatypes with Mendler induction
- Efficient lambda encodings for Mendler-style coinductive types in Cedille
- Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi
- Some lambda calculi with categorical sums and products
- Decomposing typed lambda calculus into a couple of categorical programming languages
- Beyond polarity: towards a multi-discipline intermediate language with sharing
- Parametricity of extensionally collapsed term models of polymorphism and their categorical properties
- A note on categorical datatypes
- Compiling with classical connectives
- Modularity and implementation of mathematical operational semantics
- The Recursion Scheme from the Cofree Recursive Comonad
- Some remarks on type systems for course-of-value recursion
- Relationships between category theory and functional programming with an application
- Coalgebras as types determined by their elimination rules
- Non-standard reductions and categorical models in typed lambda-calculus
- scientific article; zbMATH DE number 2217814 (Why is no real title available?)
- Coinduction in Flow: The Later Modality in Fibrations
- Semantics of constructions. II: The initial algebraic approach
- Least and greatest fixed points in intuitionistic natural deduction
- Classical (co)recursion: Mechanics
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
- Strong categorical datatypes II: A term logic for categorical programming
- Categorical ML -- category-theoretic modular programming
- Comparing Hagino's categorical programming language and typed lambda- calculi
- A contextual formalization of structural coinduction
- List-arithmetic distributive categories: Locoi
- Codatatypes in ML
- A generalization of the concept of sketch
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 Q3784044)
