DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Initial algebra
Initial algebra
Initial Algebra Semantics in Matching Logic
MONADS and ALGEBRAS I I
On Coalgebras Over Algebras
A Note on the Under-Appreciated For-Loop
Dualising Initial Algebras
Corecursive Algebras: a Study of General Structured Corecursion (Extended Abstract)
A Presentation of the Initial Lift-Algebra'
Final Coalgebras from Corecursive Algebras
Constructively Characterizing Fold and Unfold*
Initial Algebra Semantics for Cyclic Sharing Tree Structures ∗
Part 5 (Initial Algebras and Terminal Coalgebras)
Initial Algebras of Terms, with Binding and Algebraic Structure
Corecursion and Coinduction: How They Relate to Recursion and Induction
Which Data Types Have W-Complete Initial Algebra Specifications?*
Programming with Algebras and Co-Algebras
List-Arithmetic Distributive Categories: Loco1
On Coalgebras Over Algebras
Paper, We Motivate Incrementalization with a Simple Example and Present a Library for Transforming Programs Using Upwards, Downwards, and Circular Incrementalization
Top View
Haskell Programming with Nested Types: a Principled Approach
Higher Dimensional Trees, Algebraically
Data Structure Implementation and Correctness Mahmoud Parsian Iowa State University
Fibrational Induction Rules for Initial Algebras
Algebras for Tree Algorithms
1 an Introduction to (Co)Algebra and (Co)Induction
Functional Programming with Apomorphisms (Corecursion)
Initial Algebras of Terms, with Binding and Algebraic Structure
On Well-Founded and Recursive Coalgebras
A Generalization of the Trie Data Structure
List Objects with Algebraic Structure
A Logical Theory of Concurrent Objects and Its Realization in the Maude Language∗
Containers Constructing Strictly Positive Types
Haskell Programming with Nested Types: a Principled Approach
From Signatures to Monads in Unimath
Initiality, Induction, and Computability
Lecture 10. Statement Logic As a Word Algebra on the Set of Atomic Statements
Theory and Practice of Fusion
Initial Algebra, Final Coalgebra and Datatype
Colecture 1: Algebras, Algebraic Data Types, and Recursion
Interleaving Data and Effects
Initial Algebra and Final Coalgebra Semantics for Concurrency
Category Theory Applied to Functional Programming
Formal Software Development: from Foundations to Tools
A New Foundation for Finitary Corecursion and Iterative Algebras
Initial Algebras Without Iteration
Adjoint Folds and Unfolds Or: Scything Through the Thicket of Morphisms
Foundations for Structured Programming with Gadts
Algebra of Functional Programs
Structured General Corecursion and Coinductive Graphs [Extended Abstract]