The following pages link to (Q3784044):
Displaying 49 items.
- Categorical ML -- category-theoretic modular programming (Q684395) (← links)
- List-arithmetic distributive categories: Locoi (Q752170) (← links)
- Codatatypes in ML (Q908682) (← links)
- A generalization of the concept of sketch (Q916772) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- Structures definable in polymorphism (Q1273075) (← links)
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- Defining concurrent processes constructively (Q1314421) (← links)
- A hidden agenda (Q1575735) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- Iteration and coiteration schemes for higher-order and nested datatypes (Q1770412) (← links)
- Undecidability of equality for codata types (Q1798783) (← links)
- Generic recursive lens combinators and their calculation laws (Q2123055) (← links)
- A perspective on service orchestration (Q2389337) (← links)
- Algebras versus coalgebras (Q2426119) (← links)
- Recursive coalgebras from comonads (Q2495640) (← links)
- An exercise on transition systems (Q2873687) (← links)
- Let’s See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract) (Q2888481) (← links)
- Friends with Benefits (Q2988636) (← links)
- (Q3121528) (← links)
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
- Bisimulations Generated from Corecursive Equations (Q3178257) (← links)
- A Lambda-Calculus with Constructors (Q3527294) (← links)
- A Polymorphic Type System for the Lambda-Calculus with Constructors (Q3637198) (← links)
- The λ-calculus with constructors: Syntax, confluence and separation (Q3644936) (← links)
- Two extensions of system F with (co)iteration and primitive (co)recursion principles (Q3653093) (← links)
- Categorical semantics for higher order polymorphic lambda calculus (Q3783264) (← links)
- Circuits as streams in Coq: Verification of a sequential multiplier (Q4647582) (← links)
- Termination checking with types (Q4659886) (← links)
- From Algebras and Coalgebras to Dialgebras (Q4917045) (← links)
- Kolmogorov Complexity of Categories (Q4922092) (← links)
- (Q5014439) (← links)
- (Q5014449) (← links)
- (Q5020623) (← links)
- Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi (Q5020907) (← links)
- (Q5079745) (← links)
- Parametricity of extensionally collapsed term models of polymorphism and their categorical properties (Q5096235) (← links)
- (Q5119393) (← links)
- Modularity and Implementation of Mathematical Operational Semantics (Q5166622) (← links)
- The Recursion Scheme from the Cofree Recursive Comonad (Q5166625) (← links)
- Some Remarks on Type Systems for Course-of-value Recursion (Q5178964) (← links)
- Relationships between category theory and functional programming with an application (Q5229862) (← links)
- Coalgebras as Types Determined by Their Elimination Rules (Q5253935) (← links)
- (Q5699551) (← links)
- Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)
- Semantics of constructions. II: The initial algebraic approach (Q5945839) (← links)
- Least and greatest fixed points in intuitionistic natural deduction (Q5958300) (← links)
- Classical (co)recursion: Mechanics (Q6132720) (← links)
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications (Q6178717) (← links)
