Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
82 | Yves Bertot, Ekaterina Komendantskaya |
Using Structural Recursion for Corecursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers, pp. 220-236, 2008, Springer, 978-3-642-02443-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers, pp. 150-164, 2002, Springer, 3-540-40190-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings, pp. 364-378, 2005, Springer, 3-540-28620-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Ulrich Berger 0001, Tie Hou |
Coinduction for Exact Real Number Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 43(3-4), pp. 394-409, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Exact real number computation, Corecursion, Signed digit streams, Coinduction |
27 | Borja Sierra-Miranda |
Cyclic Proofs for iGL via Corecursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.10785, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Damien Pous, Jurriaan Rot, Ruben Turkenburg |
Corecursion Up-to via Causal Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: Coalgebraic Methods in Computer Science - 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings, pp. 133-154, 2022, Springer, 978-3-031-10735-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Davide Ancona, Pietro Barbieri, Elena Zucca |
Enhanced Regular Corecursion for Data Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.00281, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
27 | Davide Ancona, Pietro Barbieri, Elena Zucca |
Enhanced Regular Corecursion for Data Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 22nd Italian Conference on Theoretical Computer Science, Bologna, Italy, September 13-15, 2021., pp. 266-280, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
27 | Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca |
Sound Regular Corecursion in coFJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.14085, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
27 | Stefan Milius, Dirk Pattinson, Thorsten Wißmann |
A new foundation for finitary corecursion and iterative algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 271, pp. 104456, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca |
Sound Regular Corecursion in coFJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference)., pp. 1:1-1:28, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-154-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Stefan Milius, Dirk Pattinson, Thorsten Wißmann |
A New Foundation for Finitary Corecursion and Iterative Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1802.08070, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
27 | Ekaterina Komendantskaya, Yue Li 0021 |
Productive Corecursion in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1707.01541, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
27 | Ekaterina Komendantskaya, Yue Li 0021 |
Productive corecursion in logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 17(5-6), pp. 906-923, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, pp. 111-140, 2017, Springer, 978-3-662-54433-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Steven Phillips |
A categorical (fixed point) foundation for cognition: (adjoint) corecursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 39th Annual Meeting of the Cognitive Science Society, CogSci 2017, London, UK, 16-29 July 2017, 2017, cognitivesciencesociety.org, 978-0-9911967-6-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
27 | Henning Urbat |
Finite Behaviours and Finitary Corecursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 24:1-24:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Stefan Milius, Dirk Pattinson, Thorsten Wißmann |
A New Foundation for Finitary Corecursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1601.01532, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 107-125, 2016, Springer, 978-3-662-49629-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Davide Ancona, Francesco Dagnino, Elena Zucca |
Towards a model of corecursion with default. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016, pp. 9, 2016, ACM, 978-1-4503-4439-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
27 | Stefan Milius, Thorsten Wißmann |
Finitary Corecursion for the Infinitary Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1505.07736, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
27 | Jasmin Christian Blanchette, Andrei Popescu 0001, Dmitriy Traytel |
Foundational Extensible Corecursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1501.05425, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
27 | Jasmin Christian Blanchette, Andrei Popescu 0001, Dmitriy Traytel |
Foundational extensible corecursion: a proof assistant perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015, pp. 192-204, 2015, ACM, 978-1-4503-3669-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Stefan Milius, Thorsten Wißmann |
Finitary Corecursion for the Infinitary Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands, pp. 336-351, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-84-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Wolfgang Jeltsch |
Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP ![In: Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2014, Grenoble, France, 12 April 2014., pp. 127-142, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Bernardo Toninho, Luís Caires, Frank Pfenning |
Corecursion and Non-divergence in Session-Typed Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TGC ![In: Trustworthy Global Computing - 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers, pp. 159-175, 2014, Springer, 978-3-662-45916-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Davide Ancona |
Regular corecursion in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. Syst. Struct. ![In: Comput. Lang. Syst. Struct. 39(4), pp. 142-162, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Davide Ancona, Elena Zucca |
Safe corecursion in coFJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, FTfJP 2013, Montpellier, France, July 1, 2013, pp. 2:1-2:7, 2013, ACM, 978-1-4503-2042-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Tarmo Uustalu |
Structured general corecursion and coinductive graphs [extended abstract] ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings 8th Workshop on Fixed Points in Computer Science, FICS 2012, Tallinn, Estonia, 24th March 2012., pp. 55-61, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Norman Danner, James S. Royer |
Ramified Structural Recursion and Corecursion ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1201.4567, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers, pp. 130-149, 2012, Springer, 978-3-642-32783-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Davide Ancona |
Regular corecursion in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012, pp. 1897-1902, 2012, ACM, 978-1-4503-0857-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Paula Severi, Fer-Jan de Vries |
Pure type systems with corecursion on streams: from finite to infinitary normalisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012, pp. 141-152, 2012, ACM, 978-1-4503-1054-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Yves Bertot, Ekaterina Komendantskaya |
Using Structural Recursion for Corecursion ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0903.3850, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
27 | Venanzio Capretta, Tarmo Uustalu, Varmo Vene |
Corecursive Algebras: A Study of General Structured Corecursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers, pp. 84-100, 2009, Springer, 978-3-642-10451-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Milad Niqui |
Coinductive Field of Exact Real Numbers and General Corecursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, CMCS 2006, Vienna, Austria, March 25-27, 2006, pp. 121-139, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Härmel Nestra |
Transfinite Corecursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nord. J. Comput. ![In: Nord. J. Comput. 12(2), pp. 133-156, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
27 | Lawrence S. Moss |
Recursion and corecursion have the same equational logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 294(1/2), pp. 233-267, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Jirí Adámek, Stefan Milius, Jirí Velebil |
Parametric corecursion and completely iterative monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Fixed Points in Computer Science, FICS 2002, Copenhagen, Denmark, 20-21 July 2002, Preliminary Proceedings, pp. 2-5, 2002, University of Aarhus. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
27 | Lawrence S. Moss |
Parametric corecursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 260(1-2), pp. 139-163, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Lawrence S. Moss |
Recursion and Corecursion Have the Same Equational Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 413-432, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Alberto Pardo |
Monadic Corecursion - Definition, Fusion Laws, and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: First Workshop on Coalgebraic Methods in Computer Science, CMCS 1998, Lisbon, Portugal, March 28-29, 1998, pp. 105-139, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Lawrence C. Paulson |
Mechanizing Coinduction and Corecursion in Higher-order Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.LO/9711105, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
27 | Lawrence C. Paulson |
Mechanizing Coinduction and Corecursion in Higher-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 7(2), pp. 175-204, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Lawrence S. Moss, Norman Danner |
On the Foundations of Corecursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 5(2), pp. 231-257, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Andreas Abel 0001 |
Mixed Inductive/Coinductive Types and Strong Normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings, pp. 286-301, 2007, Springer, 978-3-540-76636-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Milad Niqui |
Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers, pp. 203-220, 2006, Springer, 978-3-540-74463-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Athanassios Tzouvaras |
Forcing and antifoundation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 44(5), pp. 645-661, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Peter Aczel |
Algebras and Coalgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction ![In: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures, pp. 79-88, 2000, Springer, 3-540-43613-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|