Nester, Chad; Voorneveld, Niels Protocol choice and iteration for the free cornering. (English) Zbl 07803187 J. Log. Algebr. Methods Program. 137, Article ID 100942, 30 p. (2024). MSC: 68-XX PDFBibTeX XMLCite \textit{C. Nester} and \textit{N. Voorneveld}, J. Log. Algebr. Methods Program. 137, Article ID 100942, 30 p. (2024; Zbl 07803187) Full Text: DOI arXiv
Pitts, Andrew M.; Steenkamp, S. C. Constructing initial algebras using inflationary iteration. (English) Zbl 07804574 Kishida, Kohei (ed.), Proceedings of the fourth international conference on applied category theory 2021, ACT 2021, Cambridge, UK, July 12–16, 2021. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 372, 88-102 (2022). MSC: 18A40 03F65 PDFBibTeX XMLCite \textit{A. M. Pitts} and \textit{S. C. Steenkamp}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 372, 88--102 (2022; Zbl 07804574) Full Text: arXiv Link
Johann, Patricia; Cagne, Pierre Characterizing functions mappable over GADTs. (English) Zbl 1524.68200 Sergey, Ilya (ed.), Programming languages and systems. 20th Asian symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13658, 135-154 (2022). MSC: 68Q65 18C50 68Q55 PDFBibTeX XMLCite \textit{P. Johann} and \textit{P. Cagne}, Lect. Notes Comput. Sci. 13658, 135--154 (2022; Zbl 1524.68200) Full Text: DOI
Maietti, Maria Emilia; Maschio, Samuele; Rathjen, Michael Inductive and coinductive topological generation with Church’s thesis and the axiom of choice. (English) Zbl 07639913 Log. Methods Comput. Sci. 18, No. 4, Paper No. 5, 28 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{M. E. Maietti} et al., Log. Methods Comput. Sci. 18, No. 4, Paper No. 5, 28 p. (2022; Zbl 07639913) Full Text: DOI arXiv
Garner, Richard The costructure-cosemantics adjunction for comodels for computational effects. (English) Zbl 1506.68051 Math. Struct. Comput. Sci. 32, No. 4, 374-419 (2022). MSC: 68Q55 18A40 18C15 PDFBibTeX XMLCite \textit{R. Garner}, Math. Struct. Comput. Sci. 32, No. 4, 374--419 (2022; Zbl 1506.68051) Full Text: DOI arXiv
Fiore, Marcelo P.; Pitts, Andrew M.; Steenkamp, S. C. Quotients, inductive types, and quotient inductive types. (English) Zbl 1502.18046 Log. Methods Comput. Sci. 18, No. 2, Paper No. 15, 37 p. (2022). Reviewer: Philippe Malbos (Lyon) MSC: 18N45 03B38 68V15 PDFBibTeX XMLCite \textit{M. P. Fiore} et al., Log. Methods Comput. Sci. 18, No. 2, Paper No. 15, 37 p. (2022; Zbl 1502.18046) Full Text: arXiv Link
Xie, Ruifeng; Hu, Zhenjiang Generic recursive lens combinators and their calculation laws. (English) Zbl 1499.68071 Theor. Comput. Sci. 913, 113-137 (2022). MSC: 68N30 68N15 PDFBibTeX XMLCite \textit{R. Xie} and \textit{Z. Hu}, Theor. Comput. Sci. 913, 113--137 (2022; Zbl 1499.68071) Full Text: DOI
Uemura, Taichi The universal exponentiable arrow. (English) Zbl 1524.18005 J. Pure Appl. Algebra 226, No. 7, Article ID 106991, 32 p. (2022). MSC: 18A40 18C10 03B38 PDFBibTeX XMLCite \textit{T. Uemura}, J. Pure Appl. Algebra 226, No. 7, Article ID 106991, 32 p. (2022; Zbl 1524.18005) Full Text: DOI arXiv
Šinkarovs, Artjoms Multi-dimensional arrays with levels. (English) Zbl 1511.68057 New, Max S. (ed.) et al., Proceedings of the eighth workshop on mathematically structured functional programming, MSFP 2020, Dublin, Ireland, April 25, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 57-71 (2020). MSC: 68N18 68P05 PDFBibTeX XMLCite \textit{A. Šinkarovs}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 57--71 (2020; Zbl 1511.68057) Full Text: arXiv Link
Johann, Patricia; Polonsky, Andrew Deep induction: induction rules for (truly) nested types. (English) Zbl 07250946 Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 339-358 (2020). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{P. Johann} and \textit{A. Polonsky}, Lect. Notes Comput. Sci. 12077, 339--358 (2020; Zbl 07250946) Full Text: DOI
Al-Sibahi, Ahmad Salim; Jensen, Thomas; Møgelberg, Rasmus Ejlers; Wąsowski, Andrzej Galois connections for recursive types. (English) Zbl 1440.68042 Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 105-131 (2020). MSC: 68N18 06A15 68N15 68N30 68Q42 PDFBibTeX XMLCite \textit{A. S. Al-Sibahi} et al., Lect. Notes Comput. Sci. 12065, 105--131 (2020; Zbl 1440.68042) Full Text: DOI
Kaposi, Ambrus; Kovács, András Signatures and induction principles for higher inductive-inductive types. (English) Zbl 1528.03108 Log. Methods Comput. Sci. 16, No. 1, Paper No. 10, 30 p. (2020). MSC: 03B38 03G30 PDFBibTeX XMLCite \textit{A. Kaposi} and \textit{A. Kovács}, Log. Methods Comput. Sci. 16, No. 1, Paper No. 10, 30 p. (2020; Zbl 1528.03108) Full Text: arXiv
Ahman, Danel; Uustalu, Tarmo Decomposing comonad morphisms. (English) Zbl 07649897 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 14, 19 p. (2019). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. Ahman} and \textit{T. Uustalu}, LIPIcs -- Leibniz Int. Proc. Inform. 139, Article 14, 19 p. (2019; Zbl 07649897) Full Text: DOI
Walker, Charles Universal properties of bicategories of polynomials. (English) Zbl 1428.18040 J. Pure Appl. Algebra 223, No. 9, 3722-3777 (2019). MSC: 18N10 PDFBibTeX XMLCite \textit{C. Walker}, J. Pure Appl. Algebra 223, No. 9, 3722--3777 (2019; Zbl 1428.18040) Full Text: DOI arXiv
Chapman, James; Uustalu, Tarmo; Veltri, Niccolò Quotienting the delay monad by weak bisimilarity. (English) Zbl 1407.68306 Math. Struct. Comput. Sci. 29, No. 1, 67-92 (2019). MSC: 68Q65 03B15 68N18 68Q55 68T15 PDFBibTeX XMLCite \textit{J. Chapman} et al., Math. Struct. Comput. Sci. 29, No. 1, 67--92 (2019; Zbl 1407.68306) Full Text: DOI
Kaposi, Ambrus; Kovács, András A syntax for higher inductive-inductive types. (English) Zbl 1462.68022 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 20, 18 p. (2018). MSC: 68N18 03B38 55U35 PDFBibTeX XMLCite \textit{A. Kaposi} and \textit{A. Kovács}, LIPIcs -- Leibniz Int. Proc. Inform. 108, Article 20, 18 p. (2018; Zbl 1462.68022) Full Text: DOI
Orchard, Dominic Complexity bounds for container functors and comonads. (English) Zbl 1394.68240 Inf. Comput. 261, Part 1, 144-158 (2018). MSC: 68Q65 68N30 PDFBibTeX XMLCite \textit{D. Orchard}, Inf. Comput. 261, Part 1, 144--158 (2018; Zbl 1394.68240) Full Text: DOI
Uustalu, Tarmo; Veltri, Niccolò Partiality and container monads. (English) Zbl 1503.03022 Chang, Bor-Yuh Evan (ed.), Programming languages and systems. 15th Asian symposium, APLAS 2017, Suzhou, China, November 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10695, 406-425 (2017). MSC: 03B38 03B70 18C15 PDFBibTeX XMLCite \textit{T. Uustalu} and \textit{N. Veltri}, Lect. Notes Comput. Sci. 10695, 406--425 (2017; Zbl 1503.03022) Full Text: DOI
Ghani, Neil; McBride, Conor; Nordvall Forsberg, Fredrik; Spahn, Stephan Variations on inductive-recursive definitions. (English) Zbl 1445.03010 Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 63, 13 p. (2017). MSC: 03B38 03B70 18C15 68N18 PDFBibTeX XMLCite \textit{N. Ghani} et al., LIPIcs -- Leibniz Int. Proc. Inform. 83, Article 63, 13 p. (2017; Zbl 1445.03010) Full Text: DOI
Blanchette, Jasmin Christian; Bouzy, Aymeric; Lochbihler, Andreas; Popescu, Andrei; Traytel, Dmitriy Friends with benefits. Implementing corecursion in foundational proof assistants. (English) Zbl 1485.68280 Yang, Hongseok (ed.), 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. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 111-140 (2017). MSC: 68V15 PDFBibTeX XMLCite \textit{J. C. Blanchette} et al., Lect. Notes Comput. Sci. 10201, 111--140 (2017; Zbl 1485.68280) Full Text: DOI
Ahman, Danel; Uustalu, Tarmo Directed containers as categories. (English) Zbl 1477.68169 Atkey, Robert (ed.) et al., Proceedings of the sixth workshop on mathematically structured functional programming, MSFP 2016, Eindhoven, Netherlands, April 8, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 207, 89-98 (2016). MSC: 68Q65 18C15 68N18 68Q55 PDFBibTeX XMLCite \textit{D. Ahman} and \textit{T. Uustalu}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 207, 89--98 (2016; Zbl 1477.68169) Full Text: arXiv Link
Angiuli, Carlo; Morehouse, Edward; Licata, Daniel R.; Harper, Robert Homotopical patch theory. (English) Zbl 1420.68060 J. Funct. Program. 26, Paper No. e18, 45 p. (2016). MSC: 68N30 03B15 03G30 55U40 PDFBibTeX XMLCite \textit{C. Angiuli} et al., J. Funct. Program. 26, Paper No. e18, 45 p. (2016; Zbl 1420.68060) Full Text: DOI
Torrini, Paolo Modular dependent induction in Coq, Mendler-style. (English) Zbl 1478.68438 Blanchette, Jasmin Christian (ed.) et al., Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22–25, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9807, 409-424 (2016). MSC: 68V15 03B35 PDFBibTeX XMLCite \textit{P. Torrini}, Lect. Notes Comput. Sci. 9807, 409--424 (2016; Zbl 1478.68438) Full Text: DOI
Ghani, Neil; Hancock, Peter Containers, monads and induction recursion. (English) Zbl 1361.68039 Math. Struct. Comput. Sci. 26, No. 1, 89-113 (2016). MSC: 68N18 PDFBibTeX XMLCite \textit{N. Ghani} and \textit{P. Hancock}, Math. Struct. Comput. Sci. 26, No. 1, 89--113 (2016; Zbl 1361.68039) Full Text: DOI
Capretta, Venanzio; Uustalu, Tarmo A coalgebraic view of bar recursion and bar induction. (English) Zbl 1474.03105 Jacobs, Bart (ed.) et al., 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. Berlin: Springer. Lect. Notes Comput. Sci. 9634, 91-106 (2016). MSC: 03D65 03B70 PDFBibTeX XMLCite \textit{V. Capretta} and \textit{T. Uustalu}, Lect. Notes Comput. Sci. 9634, 91--106 (2016; Zbl 1474.03105) Full Text: DOI Link
Morihata, Akimasa Incremental computing with abstract data structures. (English) Zbl 1475.68100 Kiselyov, Oleg (ed.) et al., Functional and logic programming. 13th international symposium, FLOPS 2016, Kochi, Japan, March 4–6, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9613, 215-231 (2016). MSC: 68P05 PDFBibTeX XMLCite \textit{A. Morihata}, Lect. Notes Comput. Sci. 9613, 215--231 (2016; Zbl 1475.68100) Full Text: DOI
Basold, Henning Dependent inductive and coinductive types are fibrational dialgebras. (English) Zbl 1476.68157 Matthes, Ralph (ed.) et al., Proceedings of the tenth international workshop on fixed points in computer science, FICS 2015, Berlin, Germany, September 11–12, 2015. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 191, 3-17 (2015). MSC: 68Q65 03B38 18A22 18D15 PDFBibTeX XMLCite \textit{H. Basold}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 191, 3--17 (2015; Zbl 1476.68157) Full Text: arXiv Link
Altenkirch, Thorsten; Ghani, Neil; Hancock, Peter; Mcbride, Conor; Morris, Peter Indexed containers. (English) Zbl 1420.68032 J. Funct. Program. 25, Paper No. e5, 41 p. (2015). MSC: 68N18 68T15 PDFBibTeX XMLCite \textit{T. Altenkirch} et al., J. Funct. Program. 25, Paper No. e5, 41 p. (2015; Zbl 1420.68032) Full Text: DOI
van den Berg, Benno; Moerdijk, Ieke W-types in homotopy type theory. (English) Zbl 1362.03009 Math. Struct. Comput. Sci. 25, No. 5, 1100-1115 (2015); corrigendum ibid. 28, No. 1, 140 (2018). MSC: 03B15 03G30 18F20 18G30 55U40 PDFBibTeX XMLCite \textit{B. van den Berg} and \textit{I. Moerdijk}, Math. Struct. Comput. Sci. 25, No. 5, 1100--1115 (2015; Zbl 1362.03009) Full Text: DOI arXiv
Spadotti, Régis A mechanized theory of regular trees in dependent type theory. (English) Zbl 1465.68062 Urban, Christian (ed.) et al., Interactive theorem proving. 6th international conference, ITP 2015, Nanjing, China, August 24–27, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9236, 405-420 (2015). MSC: 68P05 03B25 03B35 03B38 68Q45 68V20 PDFBibTeX XMLCite \textit{R. Spadotti}, Lect. Notes Comput. Sci. 9236, 405--420 (2015; Zbl 1465.68062) Full Text: DOI Link
Hyvernat, Pierre A linear category of polynomial diagrams. (English) Zbl 1342.03044 Math. Struct. Comput. Sci. 24, No. 1, Article ID e240104, 24 p. (2014). MSC: 03F52 03G30 18A10 PDFBibTeX XMLCite \textit{P. Hyvernat}, Math. Struct. Comput. Sci. 24, No. 1, Article ID e240104, 24 p. (2014; Zbl 1342.03044) Full Text: DOI arXiv
Ahman, Danel; Uustalu, Tarmo Coalgebraic update lenses. (English) Zbl 1337.68084 Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 25-48, electronic only (2014). MSC: 68P15 18C15 18C20 PDFBibTeX XMLCite \textit{D. Ahman} and \textit{T. Uustalu}, Electron. Notes Theor. Comput. Sci. 308, 25--48 (2014; Zbl 1337.68084) Full Text: DOI
Gambino, Nicola; Kock, Joachim Polynomial functors and polynomial monads. (English) Zbl 1278.18013 Math. Proc. Camb. Philos. Soc. 154, No. 1, 153-192 (2013). Reviewer: Viorel Mihai Gontineac (Iaşi) MSC: 18D15 18D50 PDFBibTeX XMLCite \textit{N. Gambino} and \textit{J. Kock}, Math. Proc. Camb. Philos. Soc. 154, No. 1, 153--192 (2013; Zbl 1278.18013) Full Text: DOI arXiv
Kock, Joachim Data types with symmetries and polynomial functors over groupoids. (English) Zbl 1342.68216 Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 351-365 (2012). MSC: 68Q65 03G30 18C10 18D15 81T15 PDFBibTeX XMLCite \textit{J. Kock}, Electron. Notes Theor. Comput. Sci. 286, 351--365 (2012; Zbl 1342.68216) Full Text: DOI arXiv
Seidel, Daniel; Voigtländer, Janis Proving properties about functions on lists involving element tests. (English) Zbl 1312.68076 Mossakowski, Till (ed.) et al., Recent trends in algebraic development techniques. 20th international workshop, WADT 2010, Etelsen, Germany, July 1–4, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28411-3/pbk). Lecture Notes in Computer Science 7137, 270-286 (2012). MSC: 68P05 68N18 PDFBibTeX XMLCite \textit{D. Seidel} and \textit{J. Voigtländer}, Lect. Notes Comput. Sci. 7137, 270--286 (2012; Zbl 1312.68076) Full Text: DOI
Capretta, Venanzio Coalgebras in functional programming and type theory. (English) Zbl 1225.68057 Theor. Comput. Sci. 412, No. 38, 5006-5024 (2011). MSC: 68N18 03B70 68Q65 PDFBibTeX XMLCite \textit{V. Capretta}, Theor. Comput. Sci. 412, No. 38, 5006--5024 (2011; Zbl 1225.68057) Full Text: DOI
Ghani, Neil; Hancock, Peter; Pattinson, Dirk Continuous functions on final coalgebras. (English) Zbl 1337.68070 Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 3-18 (2009). MSC: 68N30 68Q65 PDFBibTeX XMLCite \textit{N. Ghani} et al., Electron. Notes Theor. Comput. Sci. 249, 3--18 (2009; Zbl 1337.68070) Full Text: DOI
McBride, Conor Let’s see how things unfold: reconciling the infinite with the intensional (extended abstract). (English) Zbl 1239.68025 Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 113-126 (2009). MSC: 68N30 68N18 PDFBibTeX XMLCite \textit{C. McBride}, Lect. Notes Comput. Sci. 5728, 113--126 (2009; Zbl 1239.68025) Full Text: DOI
Morris, Peter; Altenkirch, Thorsten; Ghani, Neil A universe of strictly positive families. (English) Zbl 1170.68432 Int. J. Found. Comput. Sci. 20, No. 1, 83-107 (2009). MSC: 68N30 PDFBibTeX XMLCite \textit{P. Morris} et al., Int. J. Found. Comput. Sci. 20, No. 1, 83--107 (2009; Zbl 1170.68432) Full Text: DOI
Uustalu, Tarmo; Vene, Varmo Comonadic notions of computation. (English) Zbl 1279.68088 Adámek, J. (ed.) et al., Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 5, 263-284 (2008). MSC: 68Q05 03B40 18C20 PDFBibTeX XMLCite \textit{T. Uustalu} and \textit{V. Vene}, Electron. Notes Theor. Comput. Sci. 203, No. 5, 263--284 (2008; Zbl 1279.68088) Full Text: DOI
Caldwell, James; Pohl, Josef Constructive membership predicates as index types. (English) Zbl 1277.68054 Stump, Aron (ed.) et al., Proceedings of the programming languages meets program verification (PLPV 2006), Seattle, WA, USA, August 21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 7, 3-16 (2007). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{J. Caldwell} and \textit{J. Pohl}, Electron. Notes Theor. Comput. Sci. 174, No. 7, 3--16 (2007; Zbl 1277.68054) Full Text: DOI
van den Berg, Benno; De Marchi, Federico Non-well-founded trees in categories. (English) Zbl 1166.03042 Ann. Pure Appl. Logic 146, No. 1, 40-59 (2007). MSC: 03G30 18B25 68Q65 PDFBibTeX XMLCite \textit{B. van den Berg} and \textit{F. De Marchi}, Ann. Pure Appl. Logic 146, No. 1, 40--59 (2007; Zbl 1166.03042) Full Text: DOI arXiv