Search results for "Corecursion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
82	Yves Bertot, Ekaterina Komendantskaya	Using Structural Recursion for Corecursion.	TYPES	2008	DBLP DOI BibTeX RDF	Constructive Type Theory, Structural Recursion, Coinductive types, Guarded Corecursion, Coq
55	Baltasar Trancón y Widemann	Stacking Cycles: Functional Transformation of Circular Data.	IFL	2002	DBLP DOI BibTeX RDF	corecursion, anamorphism, function memoization, code generation, Coalgebra, cycle detection
48	César Sánchez 0001, Henny B. Sipma, Matteo Slanina, Zohar Manna	Final Semantics for Event-Pattern Reactive Programs.	CALCO	2005	DBLP DOI BibTeX RDF
31	Ulrich Berger 0001, Tie Hou	Coinduction for Exact Real Number Computation.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Exact real number computation, Corecursion, Signed digit streams, Coinduction
27	Borja Sierra-Miranda	Cyclic Proofs for iGL via Corecursion.	CoRR	2023	DBLP DOI BibTeX RDF
27	Damien Pous, Jurriaan Rot, Ruben Turkenburg	Corecursion Up-to via Causal Transformations.	CMCS	2022	DBLP DOI BibTeX RDF
27	Davide Ancona, Pietro Barbieri, Elena Zucca	Enhanced Regular Corecursion for Data Streams.	CoRR	2021	DBLP BibTeX RDF
27	Davide Ancona, Pietro Barbieri, Elena Zucca	Enhanced Regular Corecursion for Data Streams.	ICTCS	2021	DBLP BibTeX RDF
27	Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca	Sound Regular Corecursion in coFJ.	CoRR	2020	DBLP BibTeX RDF
27	Stefan Milius, Dirk Pattinson, Thorsten Wißmann	A new foundation for finitary corecursion and iterative algebras.	Inf. Comput.	2020	DBLP DOI BibTeX RDF
27	Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca	Sound Regular Corecursion in coFJ.	ECOOP	2020	DBLP DOI BibTeX RDF
27	Stefan Milius, Dirk Pattinson, Thorsten Wißmann	A New Foundation for Finitary Corecursion and Iterative Algebras.	CoRR	2018	DBLP BibTeX RDF
27	Ekaterina Komendantskaya, Yue Li 0021	Productive Corecursion in Logic Programming.	CoRR	2017	DBLP BibTeX RDF
27	Ekaterina Komendantskaya, Yue Li 0021	Productive corecursion in logic programming.	Theory Pract. Log. Program.	2017	DBLP DOI BibTeX RDF
27	Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu 0001, Dmitriy Traytel	Friends with Benefits - Implementing Corecursion in Foundational Proof Assistants.	ESOP	2017	DBLP DOI BibTeX RDF
27	Steven Phillips	A categorical (fixed point) foundation for cognition: (adjoint) corecursion.	CogSci	2017	DBLP BibTeX RDF
27	Henning Urbat	Finite Behaviours and Finitary Corecursion.	CALCO	2017	DBLP DOI BibTeX RDF
27	Stefan Milius, Dirk Pattinson, Thorsten Wißmann	A New Foundation for Finitary Corecursion.	CoRR	2016	DBLP BibTeX RDF
27	Stefan Milius, Dirk Pattinson, Thorsten Wißmann	A New Foundation for Finitary Corecursion - The Locally Finite Fixpoint and Its Properties.	FoSSaCS	2016	DBLP DOI BibTeX RDF
27	Davide Ancona, Francesco Dagnino, Elena Zucca	Towards a model of corecursion with default.	FTfJP@ECOOP	2016	DBLP BibTeX RDF
27	Stefan Milius, Thorsten Wißmann	Finitary Corecursion for the Infinitary Lambda Calculus.	CoRR	2015	DBLP BibTeX RDF
27	Jasmin Christian Blanchette, Andrei Popescu 0001, Dmitriy Traytel	Foundational Extensible Corecursion.	CoRR	2015	DBLP BibTeX RDF
27	Jasmin Christian Blanchette, Andrei Popescu 0001, Dmitriy Traytel	Foundational extensible corecursion: a proof assistant perspective.	ICFP	2015	DBLP DOI BibTeX RDF
27	Stefan Milius, Thorsten Wißmann	Finitary Corecursion for the Infinitary Lambda Calculus.	CALCO	2015	DBLP DOI BibTeX RDF
27	Wolfgang Jeltsch	Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion.	MSFP	2014	DBLP DOI BibTeX RDF
27	Bernardo Toninho, Luís Caires, Frank Pfenning	Corecursion and Non-divergence in Session-Typed Processes.	TGC	2014	DBLP DOI BibTeX RDF
27	Davide Ancona	Regular corecursion in Prolog.	Comput. Lang. Syst. Struct.	2013	DBLP DOI BibTeX RDF
27	Davide Ancona, Elena Zucca	Safe corecursion in coFJ.	FTfJP@ECOOP	2013	DBLP DOI BibTeX RDF
27	Tarmo Uustalu	Structured general corecursion and coinductive graphs [extended abstract]	FICS	2012	DBLP DOI BibTeX RDF
27	Norman Danner, James S. Royer	Ramified Structural Recursion and Corecursion	CoRR	2012	DBLP BibTeX RDF
27	Alexander Kurz 0001, Daniela Petrisan, Paula Severi, Fer-Jan de Vries	An Alpha-Corecursion Principle for the Infinitary Lambda Calculus.	CMCS	2012	DBLP DOI BibTeX RDF
27	Davide Ancona	Regular corecursion in Prolog.	SAC	2012	DBLP DOI BibTeX RDF
27	Paula Severi, Fer-Jan de Vries	Pure type systems with corecursion on streams: from finite to infinitary normalisation.	ICFP	2012	DBLP DOI BibTeX RDF
27	Yves Bertot, Ekaterina Komendantskaya	Using Structural Recursion for Corecursion	CoRR	2009	DBLP BibTeX RDF
27	Venanzio Capretta, Tarmo Uustalu, Varmo Vene	Corecursive Algebras: A Study of General Structured Corecursion.	SBMF	2009	DBLP DOI BibTeX RDF
27	Milad Niqui	Coinductive Field of Exact Real Numbers and General Corecursion.	CMCS	2006	DBLP DOI BibTeX RDF
27	Härmel Nestra	Transfinite Corecursion.	Nord. J. Comput.	2005	DBLP BibTeX RDF
27	Lawrence S. Moss	Recursion and corecursion have the same equational logic.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
27	Jirí Adámek, Stefan Milius, Jirí Velebil	Parametric corecursion and completely iterative monads.	FICS	2002	DBLP BibTeX RDF
27	Lawrence S. Moss	Parametric corecursion.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
27	Lawrence S. Moss	Recursion and Corecursion Have the Same Equational Logic.	MFPS	1999	DBLP DOI BibTeX RDF
27	Alberto Pardo	Monadic Corecursion - Definition, Fusion Laws, and Applications.	CMCS	1998	DBLP DOI BibTeX RDF
27	Lawrence C. Paulson	Mechanizing Coinduction and Corecursion in Higher-order Logic	CoRR	1997	DBLP BibTeX RDF
27	Lawrence C. Paulson	Mechanizing Coinduction and Corecursion in Higher-Order Logic.	J. Log. Comput.	1997	DBLP DOI BibTeX RDF
27	Lawrence S. Moss, Norman Danner	On the Foundations of Corecursion.	Log. J. IGPL	1997	DBLP DOI BibTeX RDF
24	Andreas Abel 0001	Mixed Inductive/Coinductive Types and Strong Normalization.	APLAS	2007	DBLP DOI BibTeX RDF
24	Milad Niqui	Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers.	TYPES	2006	DBLP DOI BibTeX RDF
24	Athanassios Tzouvaras	Forcing and antifoundation.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF
24	Peter Aczel	Algebras and Coalgebras.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF