Pous, Damien; Rot, Jurriaan; Turkenburg, Ruben Corecursion up-to via causal transformations. (English) Zbl 07628070 Hansen, Helle Hvid (ed.) et al., 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. Cham: Springer. Lect. Notes Comput. Sci. 13225, 133-154 (2022). MSC: 68Q65 PDF BibTeX XML Cite \textit{D. Pous} et al., Lect. Notes Comput. Sci. 13225, 133--154 (2022; Zbl 07628070) Full Text: DOI OpenURL
Ciccone, Luca; Padovani, Luca Inference systems with corules for combined safety and liveness properties of binary session types. (English) Zbl 07596575 Log. Methods Comput. Sci. 18, No. 3, Paper No. 27, 29 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{L. Ciccone} and \textit{L. Padovani}, Log. Methods Comput. Sci. 18, No. 3, Paper No. 27, 29 p. (2022; Zbl 07596575) Full Text: DOI arXiv OpenURL
Wiesnet, Franziskus; Köpp, Niels Limits of real numbers in the binary signed digit representation. (English) Zbl 07596572 Log. Methods Comput. Sci. 18, No. 3, Paper No. 24, 28 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{F. Wiesnet} and \textit{N. Köpp}, Log. Methods Comput. Sci. 18, No. 3, Paper No. 24, 28 p. (2022; Zbl 07596572) Full Text: DOI arXiv OpenURL
Dagnino, Francesco Foundations of regular coinduction. (English) Zbl 07471662 Log. Methods Comput. Sci. 17, No. 4, Paper No. 2, 29 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{F. Dagnino}, Log. Methods Comput. Sci. 17, No. 4, Paper No. 2, 29 p. (2021; Zbl 07471662) Full Text: arXiv Link OpenURL
Kuperberg, Denis; Pinault, Laureline; Pous, Damien Coinductive algorithms for Büchi automata. (English) Zbl 1497.68272 Fundam. Inform. 180, No. 4, 351-373 (2021). MSC: 68Q45 PDF BibTeX XML Cite \textit{D. Kuperberg} et al., Fundam. Inform. 180, No. 4, 351--373 (2021; Zbl 1497.68272) Full Text: DOI OpenURL
Keizer, Alex C.; Basold, Henning; Pérez, Jorge A. Session coalgebras: a coalgebraic view on session types and communication protocols. (English) Zbl 1473.68114 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 375-403 (2021). MSC: 68Q85 68Q65 PDF BibTeX XML Cite \textit{A. C. Keizer} et al., Lect. Notes Comput. Sci. 12648, 375--403 (2021; Zbl 1473.68114) Full Text: DOI arXiv OpenURL
Geuvers, Herman; Jacobs, Bart Relating apartness and bisimulation. (English) Zbl 07407787 Log. Methods Comput. Sci. 17, No. 3, Paper No. 15, 35 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{H. Geuvers} and \textit{B. Jacobs}, Log. Methods Comput. Sci. 17, No. 3, Paper No. 15, 35 p. (2021; Zbl 07407787) Full Text: arXiv Link OpenURL
Berger, Ulrich; Tsuiki, Hideki Intuitionistic fixed point logic. (English) Zbl 1498.03065 Ann. Pure Appl. Logic 172, No. 3, Article ID 102903, 57 p. (2021). MSC: 03B70 03B20 03B40 03D70 03D78 03F60 06B35 PDF BibTeX XML Cite \textit{U. Berger} and \textit{H. Tsuiki}, Ann. Pure Appl. Logic 172, No. 3, Article ID 102903, 57 p. (2021; Zbl 1498.03065) Full Text: DOI arXiv OpenURL
Tian, Chun; Sangiorgi, Davide Unique solutions of contractions, CCS, and their HOL formalisation. (English) Zbl 1496.68250 Inf. Comput. 275, Article ID 104606, 33 p. (2020). MSC: 68Q85 68V15 68V20 PDF BibTeX XML Cite \textit{C. Tian} and \textit{D. Sangiorgi}, Inf. Comput. 275, Article ID 104606, 33 p. (2020; Zbl 1496.68250) Full Text: DOI arXiv OpenURL
Komendantskaya, Ekaterina; Rozplokhas, Dmitry; Basold, Henning The new normal: we cannot eliminate cuts in coinductive calculi, but we can explore them. (English) Zbl 1477.03241 Theory Pract. Log. Program. 20, No. 6, 990-1005 (2020). MSC: 03F05 PDF BibTeX XML Cite \textit{E. Komendantskaya} et al., Theory Pract. Log. Program. 20, No. 6, 990--1005 (2020; Zbl 1477.03241) Full Text: DOI arXiv OpenURL
Dagnino, Francesco; Ancona, Davide; Zucca, Elena Flexible coinductive logic programming. (English) Zbl 1468.68054 Theory Pract. Log. Program. 20, No. 6, 818-833 (2020). MSC: 68N17 68Q55 PDF BibTeX XML Cite \textit{F. Dagnino} et al., Theory Pract. Log. Program. 20, No. 6, 818--833 (2020; Zbl 1468.68054) Full Text: DOI arXiv OpenURL
Czajka, Lukasz First-order guarded coinduction in Coq. (English) Zbl 07649963 Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 14, 18 p. (2019). MSC: 68T15 PDF BibTeX XML Cite \textit{L. Czajka}, LIPIcs -- Leibniz Int. Proc. Inform. 141, Article 14, 18 p. (2019; Zbl 07649963) Full Text: DOI OpenURL
Basold, Henning Coinduction in flow: the later modality in fibrations. (English) Zbl 07649891 Roggenbach, Markus (ed.) et al., 8th conference on algebra and coalgebra in computer science, CALCO 2019, London, United Kingdom, June 3–6, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 139, Article 8, 22 p. (2019). MSC: 68Qxx PDF BibTeX XML Cite \textit{H. Basold}, LIPIcs -- Leibniz Int. Proc. Inform. 139, Article 8, 22 p. (2019; Zbl 07649891) Full Text: DOI OpenURL
Pous, Damien Coinduction: automata, formal proof, companions (invited paper). (English) Zbl 07649887 Roggenbach, Markus (ed.) et al., 8th conference on algebra and coalgebra in computer science, CALCO 2019, London, United Kingdom, June 3–6, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 139, Article 4, 4 p. (2019). MSC: 68Qxx PDF BibTeX XML Cite \textit{D. Pous}, LIPIcs -- Leibniz Int. Proc. Inform. 139, Article 4, 4 p. (2019; Zbl 07649887) Full Text: DOI OpenURL
Vial, Pierre Sequence types for hereditary permutators. (English) Zbl 07559299 Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 33, 15 p. (2019). MSC: 03B70 68Qxx PDF BibTeX XML Cite \textit{P. Vial}, LIPIcs -- Leibniz Int. Proc. Inform. 131, Article 33, 15 p. (2019; Zbl 07559299) Full Text: DOI OpenURL
Veltri, Niccolò; van der Weide, Niels Guarded recursion in Agda via sized types. (English) Zbl 07559298 Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 32, 19 p. (2019). MSC: 03B70 68Qxx PDF BibTeX XML Cite \textit{N. Veltri} and \textit{N. van der Weide}, LIPIcs -- Leibniz Int. Proc. Inform. 131, Article 32, 19 p. (2019; Zbl 07559298) Full Text: DOI OpenURL
Biernacki, Dariusz; Lenglet, Sergueï; Polesiuk, Piotr Diacritical companions. (English) Zbl 07515953 König, Barbara (ed.), Proceedings of the 35th conference on the mathematical foundations of programming semantics, MFPS XXXV, London, UK, June 4–7, 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 347, 25-43 (2019). MSC: 68N30 68Q55 PDF BibTeX XML Cite \textit{D. Biernacki} et al., Electron. Notes Theor. Comput. Sci. 347, 25--43 (2019; Zbl 07515953) Full Text: DOI OpenURL
Nollet, Rémi; Saurin, Alexis; Tasson, Christine PSPACE-completeness of a thread criterion for circular proofs in linear logic with least and greatest fixed points. (English) Zbl 1435.03088 Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 317-334 (2019). MSC: 03F52 03F07 68Q17 PDF BibTeX XML Cite \textit{R. Nollet} et al., Lect. Notes Comput. Sci. 11714, 317--334 (2019; Zbl 1435.03088) Full Text: DOI HAL OpenURL
De, Abhishek; Saurin, Alexis Infinets: the parallel syntax for non-wellfounded proof-theory. (English) Zbl 1468.03032 Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 297-316 (2019). MSC: 03B70 03F52 PDF BibTeX XML Cite \textit{A. De} and \textit{A. Saurin}, Lect. Notes Comput. Sci. 11714, 297--316 (2019; Zbl 1468.03032) Full Text: DOI HAL OpenURL
Espírito Santo, José; Matthes, Ralph; Pinto, Luís Decidability of several concepts of finiteness for simple types. (English) Zbl 1446.03036 Fundam. Inform. 170, No. 1-3, 111-138 (2019). MSC: 03B40 03B25 PDF BibTeX XML Cite \textit{J. Espírito Santo} et al., Fundam. Inform. 170, No. 1--3, 111--138 (2019; Zbl 1446.03036) Full Text: DOI OpenURL
Kuperberg, Denis; Pinault, Laureline; Pous, Damien Coinductive algorithms for Büchi automata. (English) Zbl 1497.68271 Hofman, Piotrek (ed.) et al., Developments in language theory. 23rd international conference, DLT 2019, Warsaw, Poland, August 5–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11647, 206-220 (2019). MSC: 68Q45 PDF BibTeX XML Cite \textit{D. Kuperberg} et al., Lect. Notes Comput. Sci. 11647, 206--220 (2019; Zbl 1497.68271) Full Text: DOI HAL OpenURL
Pous, Damien; Rot, Jurriaan Companions, causality and codensity. (English) Zbl 1442.68150 Log. Methods Comput. Sci. 15, No. 3, Paper No. 14, 36 p. (2019). MSC: 68Q85 03B70 06B23 08A70 18C15 68Q65 PDF BibTeX XML Cite \textit{D. Pous} and \textit{J. Rot}, Log. Methods Comput. Sci. 15, No. 3, Paper No. 14, 36 p. (2019; Zbl 1442.68150) Full Text: arXiv OpenURL
Hristova, Katerina Frobenius reciprocity for topological groups. (English) Zbl 1419.22004 Commun. Algebra 47, No. 5, 2102-2117 (2019). MSC: 22A25 22D30 PDF BibTeX XML Cite \textit{K. Hristova}, Commun. Algebra 47, No. 5, 2102--2117 (2019; Zbl 1419.22004) Full Text: DOI arXiv OpenURL
Dagnino, Francesco Coaxioms: flexible coinductive definitions by inference systems. (English) Zbl 1432.68251 Log. Methods Comput. Sci. 15, No. 1, Paper No. 26, 48 p. (2019). MSC: 68Q55 03B35 03B70 03F07 06B23 PDF BibTeX XML Cite \textit{F. Dagnino}, Log. Methods Comput. Sci. 15, No. 1, Paper No. 26, 48 p. (2019; Zbl 1432.68251) Full Text: arXiv OpenURL
Nollet, Rémi; Saurin, Alexis; Tasson, Christine Local validity for circular proofs in linear logic with fixed points. (English) Zbl 07533360 Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 35, 23 p. (2018). MSC: 03B70 PDF BibTeX XML Cite \textit{R. Nollet} et al., LIPIcs -- Leibniz Int. Proc. Inform. 119, Article 35, 23 p. (2018; Zbl 07533360) Full Text: DOI OpenURL
Aguirre, Alejandro; Barthe, Gilles; Hsu, Justin; Silva, Alexandra Almost sure productivity. (English) Zbl 1499.68198 Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 113, 15 p. (2018). MSC: 68Q55 68N19 68Q10 68Q45 68Q60 PDF BibTeX XML Cite \textit{A. Aguirre} et al., LIPIcs -- Leibniz Int. Proc. Inform. 107, Article 113, 15 p. (2018; Zbl 1499.68198) Full Text: DOI arXiv OpenURL
Mannaa, Bassel; Møgelberg, Rasmus Ejlers The clocks they are adjunctions. Denotational semantics for clocked type theory. (English) Zbl 1462.68023 Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 23, 17 p. (2018). MSC: 68N18 03B38 18C50 68Q55 PDF BibTeX XML Cite \textit{B. Mannaa} and \textit{R. E. Møgelberg}, LIPIcs -- Leibniz Int. Proc. Inform. 108, Article 23, 17 p. (2018; Zbl 1462.68023) Full Text: DOI arXiv OpenURL
Bonchi, Filippo; Ganty, Pierre; Giacobazzi, Roberto; Pavlovic, Dusko Sound up-to techniques and complete abstract domains. (English) Zbl 1497.68107 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 175-184 (2018). MSC: 68N30 PDF BibTeX XML Cite \textit{F. Bonchi} et al., in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 175--184 (2018; Zbl 1497.68107) Full Text: DOI arXiv OpenURL
Lescanne, Pierre Dependent types for extensive games. (English) Zbl 1451.91017 J. Formaliz. Reason. 11, 1-17 (2018). MSC: 91A18 68V20 PDF BibTeX XML Cite \textit{P. Lescanne}, J. Formaliz. Reason. 11, 1--17 (2018; Zbl 1451.91017) Full Text: DOI arXiv OpenURL
Goncharov, Sergey; Schröder, Lutz; Rauch, Christoph; Jakob, Julian Unguarded recursion on coinductive resumptions. (English) Zbl 06932686 Log. Methods Comput. Sci. 14, No. 3, Paper No. 10, 47 p. (2018). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{S. Goncharov} et al., Log. Methods Comput. Sci. 14, No. 3, Paper No. 10, 47 p. (2018; Zbl 06932686) Full Text: DOI arXiv OpenURL
Roşu, Grigore Finite-trace linear temporal logic: coinductive completeness. (English) Zbl 1394.68237 Form. Methods Syst. Des. 53, No. 1, 138-163 (2018). MSC: 68Q60 03B44 PDF BibTeX XML Cite \textit{G. Roşu}, Form. Methods Syst. Des. 53, No. 1, 138--163 (2018; Zbl 1394.68237) Full Text: DOI OpenURL
Schiffler, Ralf; Serhiyenko, Khrystyna Injective presentations of induced modules over cluster-tilted algebras. (English) Zbl 1391.16012 Algebr. Represent. Theory 21, No. 2, 447-470 (2018). MSC: 16G10 16G20 16G70 13F60 PDF BibTeX XML Cite \textit{R. Schiffler} and \textit{K. Serhiyenko}, Algebr. Represent. Theory 21, No. 2, 447--470 (2018; Zbl 1391.16012) Full Text: DOI arXiv OpenURL
Endrullis, Jörg; Hansen, Helle Hvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra Coinductive foundations of infinitary rewriting and infinitary equational logic. (English) Zbl 1459.68089 Log. Methods Comput. Sci. 14, No. 1, Paper No. 3, 44 p. (2018). MSC: 68Q42 03B70 08B05 PDF BibTeX XML Cite \textit{J. Endrullis} et al., Log. Methods Comput. Sci. 14, No. 1, Paper No. 3, 44 p. (2018; Zbl 1459.68089) Full Text: DOI arXiv OpenURL
Rico, Guillermo Ortiz; Viera, Lina Isabel Triviño A coinductive approach to real analysis. (Spanish. English summary) Zbl 1378.18001 Rev. Integr. 35, No. 1, 103-125 (2017). MSC: 18A05 18C10 03B70 68Q65 PDF BibTeX XML Cite \textit{G. O. Rico} and \textit{L. I. T. Viera}, Rev. Integr. 35, No. 1, 103--125 (2017; Zbl 1378.18001) Full Text: DOI OpenURL
Farka, František; Komendantskaya, Ekaterina; Hammond, Kevin Coinductive soundness of corecursive type class resolution. (English) Zbl 1485.68041 Hermenegildo, Manuel V. (ed.) et al., Logic-based program synthesis and transformation. 26th international symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10184, 311-327 (2017). MSC: 68N18 03B70 68N17 PDF BibTeX XML Cite \textit{F. Farka} et al., Lect. Notes Comput. Sci. 10184, 311--327 (2017; Zbl 1485.68041) Full Text: DOI arXiv OpenURL
Komendantskaya, Ekaterina; Johann, Patricia; Schmidt, Martin A productivity checker for logic programming. (English) Zbl 1485.68037 Hermenegildo, Manuel V. (ed.) et al., Logic-based program synthesis and transformation. 26th international symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10184, 168-186 (2017). MSC: 68N17 PDF BibTeX XML Cite \textit{E. Komendantskaya} et al., Lect. Notes Comput. Sci. 10184, 168--186 (2017; Zbl 1485.68037) Full Text: DOI arXiv OpenURL
Sangiorgi, Davide Equations, contractions, and unique solutions. (English) Zbl 1367.68212 ACM Trans. Comput. Log. 18, No. 1, Article No. 4, 30 p. (2017). MSC: 68Q85 68Q55 PDF BibTeX XML Cite \textit{D. Sangiorgi}, ACM Trans. Comput. Log. 18, No. 1, Article No. 4, 30 p. (2017; Zbl 1367.68212) Full Text: DOI Link OpenURL
Hansen, Helle Hvid; Kupke, Clemens; Rutten, Jan Stream differential equations: specification formats and solution methods. (English) Zbl 1451.68181 Log. Methods Comput. Sci. 13, No. 1, Paper No. 3, 51 p. (2017). MSC: 68Q70 68Q10 68Q42 PDF BibTeX XML Cite \textit{H. H. Hansen} et al., Log. Methods Comput. Sci. 13, No. 1, Paper No. 3, 51 p. (2017; Zbl 1451.68181) Full Text: DOI arXiv OpenURL
Bach Poulsen, Casper; Mosses, Peter D. Flag-based big-step semantics. (English) Zbl 1362.68160 J. Log. Algebr. Methods Program. 88, 174-190 (2017). MSC: 68Q55 68Q60 PDF BibTeX XML Cite \textit{C. Bach Poulsen} and \textit{P. D. Mosses}, J. Log. Algebr. Methods Program. 88, 174--190 (2017; Zbl 1362.68160) Full Text: DOI arXiv Link OpenURL
Lucanu, Dorel; Rusu, Vlad; Arusoaie, Andrei A generic framework for symbolic execution: a coinductive approach. (English) Zbl 1356.68044 J. Symb. Comput. 80, Part 1, 125-163 (2017). MSC: 68N30 68Q55 68W30 PDF BibTeX XML Cite \textit{D. Lucanu} et al., J. Symb. Comput. 80, Part 1, 125--163 (2017; Zbl 1356.68044) Full Text: DOI Link OpenURL
Gan, Wee Liang On the negative-one shift functor for FI-modules. (English) Zbl 1359.18001 J. Pure Appl. Algebra 221, No. 5, 1242-1248 (2017). Reviewer: Ittay Weiss (Portsmouth) MSC: 18A40 PDF BibTeX XML Cite \textit{W. L. Gan}, J. Pure Appl. Algebra 221, No. 5, 1242--1248 (2017; Zbl 1359.18001) Full Text: DOI arXiv OpenURL
Schiffler, Ralf; Serhiyenko, Khrystyna Induced and coinduced modules over cluster-tilted algebras. (English) Zbl 1372.16013 J. Algebra 472, 226-258 (2017). Reviewer: Matthew Fayers (London) MSC: 16G20 16G70 13F60 PDF BibTeX XML Cite \textit{R. Schiffler} and \textit{K. Serhiyenko}, J. Algebra 472, 226--258 (2017; Zbl 1372.16013) Full Text: DOI arXiv OpenURL
Pous, Damien Coinduction all the way up. (English) Zbl 1394.68352 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 307-316 (2016). MSC: 68T15 03B35 06B23 68N30 PDF BibTeX XML Cite \textit{D. Pous}, in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 307--316 (2016; Zbl 1394.68352) Full Text: DOI HAL OpenURL
Traytel, Dmitriy Formal languages, formally and coinductively. (English) Zbl 1387.68161 Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 31, 17 p. (2016). MSC: 68Q45 68Q65 68T15 PDF BibTeX XML Cite \textit{D. Traytel}, LIPIcs -- Leibniz Int. Proc. Inform. 52, Article 31, 17 p. (2016; Zbl 1387.68161) Full Text: DOI OpenURL
Thibodeau, David; Cave, Andrew; Pientka, Brigitte Indexed codata types. (English) Zbl 1360.68342 Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 351-363 (2016). MSC: 68N18 68N15 68P05 68Q55 68Q60 PDF BibTeX XML Cite \textit{D. Thibodeau} et al., in: Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP '16, Nara, Japan, September 18--22, 2016. New York, NY: Association for Computing Machinery (ACM). 351--363 (2016; Zbl 1360.68342) Full Text: DOI OpenURL
Eades, Harley III; Stump, Aaron; McCleeary, Ryan Dualized simple type theory. (English) Zbl 1445.03013 Log. Methods Comput. Sci. 12, No. 3, Paper No. 2, 47 p. (2016). MSC: 03B40 03B20 03B38 68N18 PDF BibTeX XML Cite \textit{H. Eades III} et al., Log. Methods Comput. Sci. 12, No. 3, Paper No. 2, 47 p. (2016; Zbl 1445.03013) Full Text: DOI arXiv OpenURL
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo Reversible client/server interactions. (English) Zbl 1345.68016 Formal Asp. Comput. 28, No. 4, 697-722 (2016). MSC: 68M11 68M12 68M14 68Q55 PDF BibTeX XML Cite \textit{F. Barbanera} et al., Formal Asp. Comput. 28, No. 4, 697--722 (2016; Zbl 1345.68016) Full Text: DOI Link OpenURL
Komendantskaya, Ekaterina; Power, John; Schmidt, Martin Coalgebraic logic programming: from semantics to implementation. (English) Zbl 1344.68044 J. Log. Comput. 26, No. 2, 745-783 (2016). MSC: 68N17 18C50 68Q65 PDF BibTeX XML Cite \textit{E. Komendantskaya} et al., J. Log. Comput. 26, No. 2, 745--783 (2016; Zbl 1344.68044) Full Text: DOI arXiv OpenURL
Parrow, Joachim; Weber, Tjark The largest respectful function. (English) Zbl 1448.68349 Log. Methods Comput. Sci. 12, No. 2, Paper No. 11, 8 p. (2016). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Parrow} and \textit{T. Weber}, Log. Methods Comput. Sci. 12, No. 2, Paper No. 11, 8 p. (2016; Zbl 1448.68349) Full Text: DOI arXiv OpenURL
Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan Proving language inclusion and equivalence by coinduction. (English) Zbl 1333.68174 Inf. Comput. 246, 62-76 (2016). MSC: 68Q45 PDF BibTeX XML Cite \textit{J. Rot} et al., Inf. Comput. 246, 62--76 (2016; Zbl 1333.68174) Full Text: DOI OpenURL
Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra Enhanced coalgebraic bisimulation. (English) Zbl 1380.68300 Math. Struct. Comput. Sci. 27, No. 7, 1236-1264 (2017). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 68Q85 18B20 18C15 18C50 68Q55 68Q70 PDF BibTeX XML Cite \textit{J. Rot} et al., Math. Struct. Comput. Sci. 27, No. 7, 1236--1264 (2015; Zbl 1380.68300) Full Text: DOI OpenURL
Endrullis, Jörg; Hansen, Helle Hvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra A coinductive framework for infinitary rewriting and equational reasoning. (English) Zbl 1366.68114 Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 143-159 (2015). MSC: 68Q42 03B70 68T15 PDF BibTeX XML Cite \textit{J. Endrullis} et al., LIPIcs -- Leibniz Int. Proc. Inform. 36, 143--159 (2015; Zbl 1366.68114) Full Text: DOI OpenURL
Czajka, Lukasz Confluence of nearly orthogonal infinitary term rewriting systems. (English) Zbl 1366.68111 Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 106-126 (2015). MSC: 68Q42 PDF BibTeX XML Cite \textit{L. Czajka}, LIPIcs -- Leibniz Int. Proc. Inform. 36, 106--126 (2015; Zbl 1366.68111) Full Text: DOI OpenURL
Hirschowitz, André; Hirschowitz, Tom; Tabareau, Nicolas Wild \(\omega\)-categories for the homotopy hypothesis in type theory. (English) Zbl 1433.03031 Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 38, 226-240 (2015). MSC: 03B38 03G30 18N10 18M60 PDF BibTeX XML Cite \textit{A. Hirschowitz} et al., LIPIcs -- Leibniz Int. Proc. Inform. 38, 226--240 (2015; Zbl 1433.03031) Full Text: DOI OpenURL
Milius, Stefan; Wißmann, Thorsten Finitary corecursion for the infinitary lambda calculus. (English) Zbl 1366.03172 Moss, Lawrence S. (ed.) et al., 6th conference on algebra and coalgebra in computer science, CALCO’15, Nijmegen, Netherlands, June 24–26, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-84-2). LIPIcs – Leibniz International Proceedings in Informatics 35, 336-351 (2015). MSC: 03B40 03G30 PDF BibTeX XML Cite \textit{S. Milius} and \textit{T. Wißmann}, LIPIcs -- Leibniz Int. Proc. Inform. 35, 336--351 (2015; Zbl 1366.03172) Full Text: DOI arXiv OpenURL
Downen, Paul; Johnson-Freyd, Philip; Ariola, Zena M. Structures for structural recursion. (English) Zbl 1360.68361 Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 127-139 (2015). MSC: 68N30 03B70 68N18 PDF BibTeX XML Cite \textit{P. Downen} et al., in: Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP '15, Vancouver, Canada, September 1--3, 2015. New York, NY: Association for Computing Machinery (ACM). 127--139 (2015; Zbl 1360.68361) Full Text: DOI OpenURL
Goncharov, Sergey; Rauch, Christoph; Schröder, Lutz Unguarded recursion on coinductive resumptions. (English) Zbl 1351.68074 Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 183-198, electronic only (2015). MSC: 68N30 18C20 PDF BibTeX XML Cite \textit{S. Goncharov} et al., Electron. Notes Theor. Comput. Sci. 319, 183--198 (2015; Zbl 1351.68074) Full Text: DOI OpenURL
Sangiorgi, Davide Equations, contractions, and unique solutions. (English) Zbl 1346.68139 Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 421-432 (2015). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{D. Sangiorgi}, in: Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '15, Mumbai, India, January 12--18, 2015. New York, NY: Association for Computing Machinery (ACM). 421--432 (2015; Zbl 1346.68139) Full Text: DOI HAL OpenURL
Ancona, Davide; Dovier, Agostino A theoretical perspective of coinductive logic programming. (English) Zbl 1348.68028 Fundam. Inform. 140, No. 3-4, 221-246 (2015). MSC: 68N17 PDF BibTeX XML Cite \textit{D. Ancona} and \textit{A. Dovier}, Fundam. Inform. 140, No. 3--4, 221--246 (2015; Zbl 1348.68028) Full Text: DOI OpenURL
Crubillé, Raphaëlle; Dal Lago, Ugo; Sangiorgi, Davide; Vignudelli, Valeria On applicative similarity, sequentiality, and full abstraction. (English) Zbl 1444.68116 Meyer, Roland (ed.) et al., Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9360, 65-82 (2015). MSC: 68Q85 68N18 PDF BibTeX XML Cite \textit{R. Crubillé} et al., Lect. Notes Comput. Sci. 9360, 65--82 (2015; Zbl 1444.68116) Full Text: DOI Link OpenURL
Grellois, Charles; Melliès, Paul-André An infinitary model of linear logic. (English) Zbl 1459.03025 Pitts, Andrew (ed.), Foundations of software science and computation structures. 18th international conference, FOSSACS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9034, 41-55 (2015). MSC: 03B47 68Q60 PDF BibTeX XML Cite \textit{C. Grellois} and \textit{P.-A. Melliès}, Lect. Notes Comput. Sci. 9034, 41--55 (2015; Zbl 1459.03025) Full Text: DOI arXiv OpenURL
Trancón y Widemann, Baltasar; Lepper, Markus Foundations of total functional data-flow programming. (English) Zbl 1464.68065 Levy, Paul (ed.) et al., Proceedings of the fifth workshop on mathematically structured functional programming, MSFP 2014, Grenoble, France, April 12, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 153, 143-167 (2014). MSC: 68N18 68N15 PDF BibTeX XML Cite \textit{B. Trancón y Widemann} and \textit{M. Lepper}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 153, 143--167 (2014; Zbl 1464.68065) Full Text: arXiv Link OpenURL
Komendantskaya, Ekaterina; Schmidt, Martin; Heras, Jónathan Exploiting parallelism in coalgebraic logic programming. (English) Zbl 1337.68054 Power, John (ed.) et al., Proceedings of the workshop on algebra, coalgebra and topology (WACT 2013), Bath, UK, March 1, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 303, 121-148, electronic only (2014). MSC: 68N17 PDF BibTeX XML Cite \textit{E. Komendantskaya} et al., Electron. Notes Theor. Comput. Sci. 303, 121--148 (2014; Zbl 1337.68054) Full Text: DOI arXiv OpenURL
Mantadelis, Theofrastos; Rocha, Ricardo; Moura, Paulo Tabling, rational terms, and coinduction finally together! (English) Zbl 1307.68019 Theory Pract. Log. Program. 14, No. 4-5, 429-443 (2014). MSC: 68N17 PDF BibTeX XML Cite \textit{T. Mantadelis} et al., Theory Pract. Log. Program. 14, No. 4--5, 429--443 (2014; Zbl 1307.68019) Full Text: DOI arXiv OpenURL
Crubillé, Raphaëlle; Dal Lago, Ugo On probabilistic applicative bisimulation and call-by-value \(\lambda \)-calculi. (English) Zbl 1405.68076 Shao, Zhong (ed.), Programming languages and systems. 23rd European symposium on programming, ESOP 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54832-1/pbk). Lecture Notes in Computer Science 8410, 209-228 (2014). MSC: 68N30 68N18 PDF BibTeX XML Cite \textit{R. Crubillé} and \textit{U. Dal Lago}, Lect. Notes Comput. Sci. 8410, 209--228 (2014; Zbl 1405.68076) Full Text: DOI arXiv Link OpenURL
Dal Lago, Ugo; Sangiorgi, Davide; Alberti, Michele On coinductive equivalences for higher-order probabilistic functional programs. (English) Zbl 1284.68424 Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 297-308 (2014). MSC: 68Q85 68N18 68Q87 03B70 PDF BibTeX XML Cite \textit{U. Dal Lago} et al., in: Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '14, San Diego, CA, USA, January 22--24, 2014. New York, NY: Association for Computing Machinery (ACM). 297--308 (2014; Zbl 1284.68424) Full Text: DOI arXiv OpenURL
Sacchini, Jorge Luis Type-based productivity of stream definitions in the calculus of constructions. (English) Zbl 1366.68254 Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 233-242 (2013). MSC: 68T15 03B70 PDF BibTeX XML Cite \textit{J. L. Sacchini}, in: Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25--28, 2013. Los Alamitos, CA: IEEE Computer Society. 233--242 (2013; Zbl 1366.68254) Full Text: DOI OpenURL
Matthes, Ralph; Picard, Celia Verification of redecoration for infinite triangular matrices using coinduction. (English) Zbl 1354.68184 Danielsson, Nils Anders (ed.) et al., 18th international workshop on types for proofs and programs. Papers from the workshop (TYPES 2011), Bergen, Norway, September 8–11, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-49-1). LIPIcs – Leibniz International Proceedings in Informatics 19, 55-69 (2013). MSC: 68Q65 68T15 PDF BibTeX XML Cite \textit{R. Matthes} and \textit{C. Picard}, LIPIcs -- Leibniz Int. Proc. Inform. 19, 55--69 (2013; Zbl 1354.68184) Full Text: DOI OpenURL
Endrullis, Jörg; Polonsky, Andrew Infinitary rewriting coinductively. (English) Zbl 1354.03008 Danielsson, Nils Anders (ed.) et al., 18th international workshop on types for proofs and programs. Papers from the workshop (TYPES 2011), Bergen, Norway, September 8–11, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-49-1). LIPIcs – Leibniz International Proceedings in Informatics 19, 16-27 (2013). MSC: 03B40 68Q42 68T15 PDF BibTeX XML Cite \textit{J. Endrullis} and \textit{A. Polonsky}, LIPIcs -- Leibniz Int. Proc. Inform. 19, 16--27 (2013; Zbl 1354.03008) Full Text: DOI OpenURL
Abel, Andreas M.; Pientka, Brigitte Wellfounded recursion with copatterns: a unified approach to termination and productivity. (English) Zbl 1323.68087 Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 185-196 (2013). MSC: 68N18 03B70 68P05 PDF BibTeX XML Cite \textit{A. M. Abel} and \textit{B. Pientka}, in: Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP '13, Boston, MA, USA, September 25--27, 2013. New York, NY: Association for Computing Machinery (ACM). 185--196 (2013; Zbl 1323.68087) Full Text: DOI OpenURL
Bonchi, Filippo; Pous, Damien Checking NFA equivalence with bisimulations up to congruence. (English) Zbl 1301.68169 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 457-468 (2013). MSC: 68Q45 68Q85 PDF BibTeX XML Cite \textit{F. Bonchi} and \textit{D. Pous}, in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '13, Rome, Italy, January 23--25, 2013. New York, NY: Association for Computing Machinery (ACM). 457--468 (2013; Zbl 1301.68169) Full Text: DOI HAL OpenURL
Hur, Chung-Kil; Neis, Georg; Dreyer, Derek; Vafeiadis, Viktor The power of parameterization in coinductive proof. (English) Zbl 1301.68220 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 193-206 (2013). MSC: 68T15 06B99 68N18 68N30 PDF BibTeX XML Cite \textit{C.-K. Hur} et al., in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '13, Rome, Italy, January 23--25, 2013. New York, NY: Association for Computing Machinery (ACM). 193--206 (2013; Zbl 1301.68220) Full Text: DOI OpenURL
Abel, Andreas; Pientka, Brigitte; Thibodeau, David; Setzer, Anton Copatterns, programming infinite structures by observations. (English) Zbl 1301.68080 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 27-38 (2013). MSC: 68N18 68N15 PDF BibTeX XML Cite \textit{A. Abel} et al., in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '13, Rome, Italy, January 23--25, 2013. New York, NY: Association for Computing Machinery (ACM). 27--38 (2013; Zbl 1301.68080) Full Text: DOI OpenURL
Goncharov, Sergey; Schröder, Lutz A coinductive calculus for asynchronous side-effecting processes. (English) Zbl 1358.68212 Inf. Comput. 231, 204-232 (2013). MSC: 68Q85 68Q65 PDF BibTeX XML Cite \textit{S. Goncharov} and \textit{L. Schröder}, Inf. Comput. 231, 204--232 (2013; Zbl 1358.68212) Full Text: DOI OpenURL
Kurz, Alexander; Petrisan, Daniela Luan; Severi, Paula; De Vries, Fer-Jan Nominal coalgebraic data types with applications to lambda calculus. (English) Zbl 1314.68189 Log. Methods Comput. Sci. 9, No. 4, Paper No. 22, 51 p. (2013). MSC: 68Q65 03B40 18C50 PDF BibTeX XML Cite \textit{A. Kurz} et al., Log. Methods Comput. Sci. 9, No. 4, Paper No. 22, 51 p. (2013; Zbl 1314.68189) Full Text: DOI arXiv OpenURL
Lescanne, Pierre A simple case of rationality of escalation. (English) Zbl 1395.91062 Heckel, Reiko (ed.) et al., Algebra and coalgebra in computer science. 5th international conference, CALCO 2013, Warsaw, Poland, September 3–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40205-0/pbk). Lecture Notes in Computer Science 8089, 191-204 (2013). MSC: 91A26 PDF BibTeX XML Cite \textit{P. Lescanne}, Lect. Notes Comput. Sci. 8089, 191--204 (2013; Zbl 1395.91062) Full Text: DOI arXiv OpenURL
Ghani, Neil; Johann, Patricia; Fumex, Clement Indexed induction and coinduction, fibrationally. (English) Zbl 1285.68097 Log. Methods Comput. Sci. 9, No. 3, Paper No. 6, 31 p. (2013). MSC: 68Q65 PDF BibTeX XML Cite \textit{N. Ghani} et al., Log. Methods Comput. Sci. 9, No. 3, Paper No. 6, 31 p. (2013; Zbl 1285.68097) Full Text: DOI OpenURL
Hajiabadi, Mohammad; Kapron, Bruce M. Computational soundness of coinductive symbolic security under active attacks. (English) Zbl 1315.94079 Sahai, Amit (ed.), Theory of cryptography. 10th theory of cryptography conference, TCC 2013, Tokyo, Japan, March 3–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-36593-5/pbk). Lecture Notes in Computer Science 7785, 539-558 (2013). MSC: 94A60 68M12 PDF BibTeX XML Cite \textit{M. Hajiabadi} and \textit{B. M. Kapron}, Lect. Notes Comput. Sci. 7785, 539--558 (2013; Zbl 1315.94079) Full Text: DOI OpenURL
Danielsson, Nils Anders Operational semantics using the partiality monad. (English) Zbl 1291.68114 Proceedings of the 17th ACM SIGPLAN international conference on functional programming, ICFP ’12, Copenhagen, Denmark, September 9–15, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1054-3). ACM SIGPLAN Notices 47, No. 9, 127-138 (2012). MSC: 68N18 PDF BibTeX XML Cite \textit{N. A. Danielsson}, in: Proceedings of the 17th ACM SIGPLAN international conference on functional programming, ICFP '12, Copenhagen, Denmark, September 9--15, 2012. New York, NY: Association for Computing Machinery (ACM). 127--138 (2012; Zbl 1291.68114) Full Text: DOI OpenURL
Sangiorgi, Davide (ed.); Rutten, Jan (ed.) Advanced topics in bisimulation and coinduction. (English) Zbl 1264.68009 Cambridge Tracts in Theoretical Computer Science 52. Cambridge: Cambridge University Press (ISBN 978-1-107-00497-9/hbk). xiii, 326 p. (2012). Reviewer: Antti Valmari (Jyväskylä) MSC: 68-06 68-02 00B15 68Q85 03B45 PDF BibTeX XML Cite \textit{D. Sangiorgi} (ed.) and \textit{J. Rutten} (ed.), Advanced topics in bisimulation and coinduction. Cambridge: Cambridge University Press (2012; Zbl 1264.68009) OpenURL
Berger, Ulrich; Seisenberger, Monika Proofs, programs, processes. (English) Zbl 1280.68078 Theory Comput. Syst. 51, No. 3, 313-329 (2012). MSC: 68N30 03F25 68N18 PDF BibTeX XML Cite \textit{U. Berger} and \textit{M. Seisenberger}, Theory Comput. Syst. 51, No. 3, 313--329 (2012; Zbl 1280.68078) Full Text: DOI OpenURL
Bezem, Marc; Nakata, Keiko; Uustalu, Tarmo On streams that are finitely red. (English) Zbl 1267.03058 Log. Methods Comput. Sci. 8, No. 4, Paper No. 4, 20 p. (2012). Reviewer: Marco Benini (Buccinasco) MSC: 03F55 PDF BibTeX XML Cite \textit{M. Bezem} et al., Log. Methods Comput. Sci. 8, No. 4, Paper No. 4, 20 p. (2012; Zbl 1267.03058) Full Text: DOI arXiv OpenURL
Brengos, Tomasz Weak bisimulations for coalgebras over ordered functors. (English) Zbl 1362.68201 Baeten, Jos C. M. (ed.) et al., Theoretical computer science. 7th IFIP TC 1/WG 2.2 international conference, TCS 2012, Amsterdam, The Netherlands, September 26–28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33474-0/pbk). Lecture Notes in Computer Science 7604, 87-103 (2012). MSC: 68Q85 PDF BibTeX XML Cite \textit{T. Brengos}, Lect. Notes Comput. Sci. 7604, 87--103 (2012; Zbl 1362.68201) Full Text: DOI OpenURL
Sangiorgi, Davide Introduction to bisimulation and coinduction. (English) Zbl 1252.68008 Cambridge: Cambridge University Press (ISBN 978-1-107-00363-7/hbk; 978-1-139-15378-2/ebook). xii, 247 p. (2012). Reviewer: Pedro Sánchez Terraf (Córdoba) MSC: 68-01 03B70 68Q85 PDF BibTeX XML Cite \textit{D. Sangiorgi}, Introduction to bisimulation and coinduction. Cambridge: Cambridge University Press (2012; Zbl 1252.68008) Full Text: DOI OpenURL
Kozen, Dexter Realization of coinductive types. (English) Zbl 1342.68217 Mislove, Michael (ed.) et al., Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 276, 237-246 (2011). MSC: 68Q65 PDF BibTeX XML Cite \textit{D. Kozen}, Electron. Notes Theor. Comput. Sci. 276, 237--246 (2011; Zbl 1342.68217) Full Text: DOI OpenURL
Henglein, Fritz; Nielsen, Lasse Regular expression containment, coinductive axiomatization and computational interpretation. (English) Zbl 1284.68353 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 385-398 (2011). MSC: 68Q45 03B70 PDF BibTeX XML Cite \textit{F. Henglein} and \textit{L. Nielsen}, in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '11, Austin, TX, USA, January 26--28, 2011. New York, NY: Association for Computing Machinery (ACM). 385--398 (2011; Zbl 1284.68353) Full Text: DOI OpenURL
Niqui, M.; Rutten, J. J. M. M. A proof of Moessner’s theorem by coinduction. (English) Zbl 1256.68120 High.-Order Symb. Comput. 24, No. 3, 191-206 (2011). MSC: 68Q65 03B35 68Q85 PDF BibTeX XML Cite \textit{M. Niqui} and \textit{J. J. M. M. Rutten}, High.-Order Symb. Comput. 24, No. 3, 191--206 (2011; Zbl 1256.68120) Full Text: DOI OpenURL
Komendantskaya, Ekaterina; Power, John Coalgebraic derivations in logic programming. (English) Zbl 1247.68044 Bezem, Marc (ed.), Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-32-3). LIPIcs – Leibniz International Proceedings in Informatics 12, 352-366, electronic only (2011). MSC: 68N17 68N19 68Q55 PDF BibTeX XML Cite \textit{E. Komendantskaya} and \textit{J. Power}, LIPIcs -- Leibniz Int. Proc. Inform. 12, 352--366 (2011; Zbl 1247.68044) Full Text: DOI Link OpenURL
Haemmerlé, Rémy (Co-)inductive semantics for constraint handling rules. (English) Zbl 1218.68099 Theory Pract. Log. Program. 11, No. 4-5, 593-609 (2011). MSC: 68Q55 68N17 PDF BibTeX XML Cite \textit{R. Haemmerlé}, Theory Pract. Log. Program. 11, No. 4--5, 593--609 (2011; Zbl 1218.68099) Full Text: DOI arXiv OpenURL
Odzijewicz, Anatol; Dobrogowska, Alina Integrable Hamiltonian systems related to the Hilbert-Schmidt ideal. (English) Zbl 1304.70017 J. Geom. Phys. 61, No. 8, 1426-1445 (2011). MSC: 70H06 47B10 17B80 PDF BibTeX XML Cite \textit{A. Odzijewicz} and \textit{A. Dobrogowska}, J. Geom. Phys. 61, No. 8, 1426--1445 (2011; Zbl 1304.70017) Full Text: DOI arXiv OpenURL
Ancona, Davide; Lagorio, Giovanni Idealized coinductive type systems for imperative object-oriented programs. (English) Zbl 1220.68047 RAIRO, Theor. Inform. Appl. 45, No. 1, 3-33 (2011). MSC: 68N19 03B70 03B15 PDF BibTeX XML Cite \textit{D. Ancona} and \textit{G. Lagorio}, RAIRO, Theor. Inform. Appl. 45, No. 1, 3--33 (2011; Zbl 1220.68047) Full Text: DOI Numdam EuDML OpenURL
Staton, Sam Relating coalgebraic notions of bisimulation. (English) Zbl 1247.68192 Log. Methods Comput. Sci. 7, No. 1, Paper No. 13, 21 p. (2011). MSC: 68Q85 68Q65 18B20 PDF BibTeX XML Cite \textit{S. Staton}, Log. Methods Comput. Sci. 7, No. 1, Paper No. 13, 21 p. (2011; Zbl 1247.68192) Full Text: DOI OpenURL
Berger, Ulrich From coinductive proofs to exact real arithmetic: theory and applications. (English) Zbl 1218.03036 Log. Methods Comput. Sci. 7, No. 1, Paper No. 8, 24 p. (2011). MSC: 03F60 03D78 68N30 PDF BibTeX XML Cite \textit{U. Berger}, Log. Methods Comput. Sci. 7, No. 1, Paper No. 8, 24 p. (2011; Zbl 1218.03036) Full Text: DOI OpenURL
Diaconescu, Răzvan Coinduction for preordered algebra. (English) Zbl 1206.68197 Inf. Comput. 209, No. 2, 108-117 (2011). MSC: 68Q65 PDF BibTeX XML Cite \textit{R. Diaconescu}, Inf. Comput. 209, No. 2, 108--117 (2011; Zbl 1206.68197) Full Text: DOI OpenURL
Komendantskaya, Ekaterina; McCusker, Guy; Power, John Coalgebraic semantics for parallel derivation strategies in logic programming. (English) Zbl 1308.68029 Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17795-8/pbk). Lecture Notes in Computer Science 6486, 111-127 (2011). MSC: 68N17 68Q65 PDF BibTeX XML Cite \textit{E. Komendantskaya} et al., Lect. Notes Comput. Sci. 6486, 111--127 (2011; Zbl 1308.68029) Full Text: DOI Link OpenURL
Danielsson, Nils Anders Total parser combinators. (English) Zbl 1323.68330 Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 285-296 (2010). MSC: 68Q42 68N18 68N20 PDF BibTeX XML Cite \textit{N. A. Danielsson}, in: Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP '10, Baltimore, MD, USA, September 27--29, 2010. New York, NY: Association for Computing Machinery (ACM). 285--296 (2010; Zbl 1323.68330) Full Text: DOI OpenURL
Komenda, Jan Coinduction in concurrent timed systems. (English) Zbl 1247.68187 Jacobs, B. (ed.) et al., Proceedings of the tenth workshop on coalgebraic methods in computer science (CMCS 2010). Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 264, No. 2, 177-197 (2010). MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{J. Komenda}, Electron. Notes Theor. Comput. Sci. 264, No. 2, 177--197 (2010; Zbl 1247.68187) Full Text: DOI OpenURL
Berger, Ulrich Realisability for induction and coinduction with applications to constructive analysis. (English) Zbl 1219.03074 J. UCS 16, No. 18, 2535-2555 (2010). MSC: 03F60 03B40 03B70 03D70 03D78 PDF BibTeX XML Cite \textit{U. Berger}, J. UCS 16, No. 18, 2535--2555 (2010; Zbl 1219.03074) Full Text: Link OpenURL
Kupke, Clemens; Rutten, Jan Complete sets of cooperations. (English) Zbl 1209.68161 Inf. Comput. 208, No. 12, 1398-1420 (2010). MSC: 68P05 16T15 PDF BibTeX XML Cite \textit{C. Kupke} and \textit{J. Rutten}, Inf. Comput. 208, No. 12, 1398--1420 (2010; Zbl 1209.68161) Full Text: DOI OpenURL
Berger, Ulrich; Seisenberger, Monika Proofs, programs, processes. (English) Zbl 1280.68077 Ferreira, Fernando (ed.) et al., Programs, proofs, processes. 6th conference on computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30–July 4, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13961-1/pbk). Lecture Notes in Computer Science 6158, 39-48 (2010). MSC: 68N30 03F25 68N18 PDF BibTeX XML Cite \textit{U. Berger} and \textit{M. Seisenberger}, Lect. Notes Comput. Sci. 6158, 39--48 (2010; Zbl 1280.68077) Full Text: DOI Link OpenURL