Coalgebras in functional programming and type theory (Q639643): Difference between revisions

@@ Property / describes a project that uses @@
+Nuprl
@@ Property / describes a project that uses: Nuprl / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2011.04.024
+Normal rank
@@ Property / OpenAlex ID @@
+W2020914843
@@ Property / OpenAlex ID: W2020914843 / rank @@
+Normal rank
@@ Property / cites work @@
+Containers: Constructing strictly positive types
@@ Property / cites work: Containers: Constructing strictly positive types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738111
@@ Property / cites work: Q4738111 / rank @@
+Normal rank
@@ Property / cites work @@
+A final coalgebra theorem
@@ Property / cites work: A final coalgebra theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778813
@@ Property / cites work: Q2778813 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraically compact functors
@@ Property / cites work: Algebraically compact functors / rank @@
+Normal rank
@@ Property / cites work @@
+Setoids in type theory
@@ Property / cites work: Setoids in type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4717366
@@ Property / cites work: Q4717366 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3360172
@@ Property / cites work: Q3360172 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Q4790656
@@ Property / cites work: Q4790656 / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling general recursion in type theory
@@ Property / cites work: Modelling general recursion in type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Computation by Prophecy
@@ Property / cites work: Computation by Prophecy / rank @@
+Normal rank
@@ Property / cites work @@
+A Brief Overview of Agda – A Functional Language with Dependent Types
+Normal rank
@@ Property / cites work @@
+General Recursion via Coinductive Types
@@ Property / cites work: General Recursion via Coinductive Types / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulations Generated from Corecursive Equations
+Normal rank
@@ Property / cites work @@
+Subtyping, Declaratively
@@ Property / cites work: Subtyping, Declaratively / rank @@
+Normal rank
@@ Property / cites work @@
+Q4272993
@@ Property / cites work: Q4272993 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4492739
@@ Property / cites work: Q4492739 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing inductively defined sets by wellorderings in Martin-Löf's type theory
+Normal rank
@@ Property / cites work @@
+Productivity of Stream Definitions
@@ Property / cites work: Productivity of Stream Definitions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978971
@@ Property / cites work: Q3978971 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2863899
@@ Property / cites work: Q2863899 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Functions on Final Coalgebras
@@ Property / cites work: Continuous Functions on Final Coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Representations of Stream Processors Using Nested Fixed Points
+Normal rank
@@ Property / cites work @@
+Q5472879
@@ Property / cites work: Q5472879 / rank @@
+Normal rank
@@ Property / cites work @@
+Types for proofs and programs. International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994. Selected papers
+Normal rank
@@ Property / cites work @@
+Structural induction and coinduction in a fibrational setting
+Normal rank
@@ Property / cites work @@
+Functional pearl
@@ Property / cites work: Functional pearl / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024837
@@ Property / cites work: Q3024837 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming in Haskell
@@ Property / cites work: Programming in Haskell / rank @@
+Normal rank
@@ Property / cites work @@
+Observational Coalgebras and Complete Sets of Co-operations
+Normal rank
@@ Property / cites work @@
+Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7--10, 2009. Proceedings
+Normal rank
@@ Property / cites work @@
+A fixpoint theorem for complete categories
@@ Property / cites work: A fixpoint theorem for complete categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4099613
@@ Property / cites work: Q4099613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3328540
@@ Property / cites work: Q3328540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5752569
@@ Property / cites work: Q5752569 / rank @@
+Normal rank
@@ Property / cites work @@
+The view from the left
@@ Property / cites work: The view from the left / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Dependently Typed Programming in Agda
@@ Property / cites work: Dependently Typed Programming in Agda / rank @@
+Normal rank
@@ Property / cites work @@
+A note on <i>Mathematics of infinity</i>
@@ Property / cites work: A note on <i>Mathematics of infinity</i> / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive approach to nonstandard analysis
@@ Property / cites work: A constructive approach to nonstandard analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247308
@@ Property / cites work: Q4247308 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4870980
@@ Property / cites work: Q4870980 / rank @@
+Normal rank
@@ Property / cites work @@
+Equality of streams is a Π0 over 2-complete problem
+Normal rank
@@ Property / cites work @@
+Circular Coinduction: A Proof Theoretical Foundation
+Normal rank
@@ Property / cites work @@
+A coinductive calculus of streams
@@ Property / cites work: A coinductive calculus of streams / rank @@
+Normal rank
@@ Property / cites work @@
+Origins of bisimulation and coinduction
@@ Property / cites work: Origins of bisimulation and coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural Differential Equations and Coinduction for Binary Trees
+Normal rank
@@ Property / cites work @@
+The independence of Peano's fourth axiom from Martin-Löf's type theory without universes
+Normal rank
@@ Property / cites work @@
+Lectures on the Curry-Howard isomorphism
@@ Property / cites work: Lectures on the Curry-Howard isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Relating Coalgebraic Notions of Bisimulation
@@ Property / cites work: Relating Coalgebraic Notions of Bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+On the foundations of final coalgebra semantics: non-well-founded  sets,  partial orders, metric spaces
+Normal rank
@@ Property / cites work @@
+Q4939621
@@ Property / cites work: Q4939621 / rank @@
+Normal rank
@@ Property / cites work @@
+Comonadic Notions of Computation
@@ Property / cites work: Comonadic Notions of Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Well-Definedness of Streams by Termination
@@ Property / cites work: Well-Definedness of Streams by Termination / rank @@
+Normal rank