Pages that link to "Item:Q3907066"
From MaRDI portal
The following pages link to Algebraic specification of data types: A synthetic approach (Q3907066):
Displaying 38 items.
- Fixed-point operations on ccc's. I (Q672122) (← links)
- The meaning of specifications I: Domains and initial models (Q673181) (← links)
- Codatatypes in ML (Q908682) (← links)
- Two-level semantics and abstract interpretation (Q911319) (← links)
- Recursively defined domains and their induction principles (Q1098615) (← links)
- Algebraic solutions to recursion schemes (Q1098617) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- On the algebra of order (Q1143782) (← links)
- Graph grammars and operational semantics (Q1165029) (← links)
- New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic (Q1193588) (← links)
- Some economic applications of Scott domains (Q1196207) (← links)
- Induction and recursion on the partial real line with applications to Real PCF (Q1274810) (← links)
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- Infinite hypergraphs. I: Basic properties (Q1814126) (← links)
- Equational logic of circular data type specification (Q1825026) (← links)
- Parametrized fixed points and their applications to session types (Q2133474) (← links)
- From Parity Games to Circular Proofs (Q2842563) (← links)
- Unique, guarded fixed points in an additive setting (Q2842814) (← links)
- The Bicategory-Theoretic Solution of Recursive Domain Equations (Q2864151) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- From Grammars and Automata to Algebras and Coalgebras (Q3014929) (← links)
- CPO-models for second order lambda calculus with recursive types and subtyping (Q3142273) (← links)
- Categories, relations and dynamic programming (Q4286530) (← links)
- Categorical data types in parametric polymorphism (Q4286531) (← links)
- <i>μ</i>-Bicomplete Categories and Parity Games (Q4787834) (← links)
- Generic functional programming with types and relations (Q4880524) (← links)
- Datatype laws without signatures (Q4882491) (← links)
- (Q4989404) (← links)
- (Q5020949) (← links)
- Categorical fixed point calculus (Q5057473) (← links)
- List Objects with Algebraic Structure (Q5111312) (← links)
- Interleaving data and effects (Q5371955) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
- Semantic analysis of normalisation by evaluation for typed lambda calculus (Q5889884) (← links)
- A structural co-induction theorem (Q5890042) (← links)
- Fusion of recursive programs with computational effects (Q5941164) (← links)
