The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Corecursion with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1997-2006 (15) 2007-2015 (18) 2016-2022 (15) 2023 (1)
Publication types (Num. hits)
article(21) inproceedings(28)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords

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