default search action
BibTeX records: Venanzio Capretta
@proceedings{DBLP:conf/birthday/2024geuvers, editor = {Venanzio Capretta and Robbert Krebbers and Freek Wiedijk}, title = {Logics and Type Systems in Theory and Practice - Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {14560}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-61716-4}, doi = {10.1007/978-3-031-61716-4}, isbn = {978-3-031-61715-7}, timestamp = {Thu, 27 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/2024geuvers.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itp/BastonC18, author = {Colm Baston and Venanzio Capretta}, editor = {Jeremy Avigad and Assia Mahboubi}, title = {The Coinductive Formulation of Common Knowledge}, booktitle = {Interactive Theorem Proving - 9th International Conference, {ITP} 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10895}, pages = {126--141}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-94821-8\_8}, doi = {10.1007/978-3-319-94821-8\_8}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/itp/BastonC18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/CaprettaF17, author = {Venanzio Capretta and Jonathan Fowler}, title = {The continuity of monadic stream functions}, booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2017, Reykjavik, Iceland, June 20-23, 2017}, pages = {1--12}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/LICS.2017.8005119}, doi = {10.1109/LICS.2017.8005119}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/CaprettaF17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/CaprettaU16, author = {Venanzio Capretta and Tarmo Uustalu}, editor = {Bart Jacobs and Christof L{\"{o}}ding}, title = {A Coalgebraic View of Bar Recursion and Bar Induction}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {9634}, pages = {91--106}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-49630-5\_6}, doi = {10.1007/978-3-662-49630-5\_6}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/CaprettaU16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/CaprettaHJ16, author = {Venanzio Capretta and Graham Hutton and Mauro Jaskelioff}, editor = {Tom Schrijvers}, title = {Contractive Functions on Infinite Data Structures}, booktitle = {Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, {IFL} 2016, Leuven, Belgium, August 31 - September 2, 2016}, pages = {5:1--5:13}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/3064899.3064900}, doi = {10.1145/3064899.3064900}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifl/CaprettaHJ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/BarendregtCK13, author = {Henk Barendregt and Venanzio Capretta and Dexter Kozen}, title = {Reflection in the Chomsky Hierarchy}, journal = {J. Autom. Lang. Comb.}, volume = {18}, number = {1}, pages = {53--60}, year = {2013}, url = {https://doi.org/10.25596/jalc-2013-053}, doi = {10.25596/JALC-2013-053}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/BarendregtCK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Capretta11, author = {Venanzio Capretta}, title = {Coalgebras in functional programming and type theory}, journal = {Theor. Comput. Sci.}, volume = {412}, number = {38}, pages = {5006--5024}, year = {2011}, url = {https://doi.org/10.1016/j.tcs.2011.04.024}, doi = {10.1016/J.TCS.2011.04.024}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Capretta11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/msfp/2008, editor = {Venanzio Capretta and Conor McBride}, title = {Proceedings of the Second Workshop on Mathematically Structured Functional Programming, MSFP@ICALP 2008, Reykjavik, Iceland, July 6, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {229}, number = {5}, publisher = {Elsevier}, year = {2011}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/229/issue/5}, timestamp = {Fri, 24 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/msfp/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Capretta10, author = {Venanzio Capretta}, editor = {Michael W. Mislove and Peter Selinger}, title = {Bisimulations Generated from Corecursive Equations}, booktitle = {Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2010, Ottawa, Ontario, Canada, May 6-10, 2010}, series = {Electronic Notes in Theoretical Computer Science}, volume = {265}, pages = {245--258}, publisher = {Elsevier}, year = {2010}, url = {https://doi.org/10.1016/j.entcs.2010.08.015}, doi = {10.1016/J.ENTCS.2010.08.015}, timestamp = {Mon, 08 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Capretta10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icfp/2010msfp, editor = {Venanzio Capretta and James Chapman}, title = {Proceedings of the 3rd {ACM} {SIGPLAN} Workshop on Mathematically Structured Functional Programming, MSFP@ICFP 2010, Baltimore, MD, USA, September 25, 2010}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1863597}, doi = {10.1145/1863597}, isbn = {978-1-4503-0255-5}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icfp/2010msfp.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sbmf/CaprettaUV09, author = {Venanzio Capretta and Tarmo Uustalu and Varmo Vene}, editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and Jim Woodcock}, title = {Corecursive Algebras: {A} Study of General Structured Corecursion}, booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5902}, pages = {84--100}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-10452-7\_7}, doi = {10.1007/978-3-642-10452-7\_7}, timestamp = {Fri, 17 Feb 2023 09:02:01 +0100}, biburl = {https://dblp.org/rec/conf/sbmf/CaprettaUV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tphol/BoveC08, author = {Ana Bove and Venanzio Capretta}, editor = {Otmane A{\"{\i}}t Mohamed and C{\'{e}}sar A. Mu{\~{n}}oz and Sofi{\`{e}}ne Tahar}, title = {A Type of Partial Recursive Functions}, booktitle = {Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5170}, pages = {102--117}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-71067-7\_12}, doi = {10.1007/978-3-540-71067-7\_12}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tphol/BoveC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CaprettaM11, author = {Venanzio Capretta and Conor McBride}, editor = {Venanzio Capretta and Conor McBride}, title = {Preface}, booktitle = {Proceedings of the Second Workshop on Mathematically Structured Functional Programming, MSFP@ICALP 2008, Reykjavik, Iceland, July 6, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {229}, number = {5}, pages = {1--2}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2011.02.012}, doi = {10.1016/J.ENTCS.2011.02.012}, timestamp = {Fri, 24 Feb 2023 11:56:33 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CaprettaM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/CaprettaSFM07, author = {Venanzio Capretta and Bernard Stepien and Amy P. Felty and Stan Matwin}, editor = {Peng Ning and Vijay Atluri and Virgil D. Gligor and Heiko Mantel}, title = {Formal correctness of conflict detection for firewalls}, booktitle = {Proceedings of the 2007 {ACM} workshop on Formal methods in security engineering, {FMSE} 2007, Fairfax, VA, USA, November 2, 2007}, pages = {22--30}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1314436.1314440}, doi = {10.1145/1314436.1314440}, timestamp = {Tue, 10 Nov 2020 16:06:16 +0100}, biburl = {https://dblp.org/rec/conf/ccs/CaprettaSFM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tlca/BoveC07, author = {Ana Bove and Venanzio Capretta}, editor = {Simona Ronchi Della Rocca}, title = {Computation by Prophecy}, booktitle = {Typed Lambda Calculi and Applications, 8th International Conference, {TLCA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4583}, pages = {70--83}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73228-0\_7}, doi = {10.1007/978-3-540-73228-0\_7}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tlca/BoveC07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/CaprettaUV06, author = {Venanzio Capretta and Tarmo Uustalu and Varmo Vene}, title = {Recursive coalgebras from comonads}, journal = {Inf. Comput.}, volume = {204}, number = {4}, pages = {437--468}, year = {2006}, url = {https://doi.org/10.1016/j.ic.2005.08.005}, doi = {10.1016/J.IC.2005.08.005}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/CaprettaUV06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/types/CaprettaF06, author = {Venanzio Capretta and Amy P. Felty}, editor = {Thorsten Altenkirch and Conor McBride}, title = {Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq}, booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4502}, pages = {63--77}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-74464-1\_5}, doi = {10.1007/978-3-540-74464-1\_5}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/types/CaprettaF06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/Capretta05, author = {Venanzio Capretta}, title = {General recursion via coinductive types}, journal = {Log. Methods Comput. Sci.}, volume = {1}, number = {2}, year = {2005}, url = {https://doi.org/10.2168/LMCS-1(2:1)2005}, doi = {10.2168/LMCS-1(2:1)2005}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/Capretta05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/BoveC05, author = {Ana Bove and Venanzio Capretta}, title = {Modelling general recursion in type theory}, journal = {Math. Struct. Comput. Sci.}, volume = {15}, number = {4}, pages = {671--708}, year = {2005}, url = {https://doi.org/10.1017/S0960129505004822}, doi = {10.1017/S0960129505004822}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/BoveC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tlca/BoveC05, author = {Ana Bove and Venanzio Capretta}, editor = {Pawel Urzyczyn}, title = {Recursive Functions with Higher Order Domains}, booktitle = {Typed Lambda Calculi and Applications, 7th International Conference, {TLCA} 2005, Nara, Japan, April 21-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3461}, pages = {116--130}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11417170\_10}, doi = {10.1007/11417170\_10}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tlca/BoveC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tlca/MatwinFHC05, author = {Stan Matwin and Amy P. Felty and Istv{\'{a}}n T. Hern{\'{a}}dv{\"{o}}lgyi and Venanzio Capretta}, editor = {Pawel Urzyczyn}, title = {Privacy in Data Mining Using Formal Methods}, booktitle = {Typed Lambda Calculi and Applications, 7th International Conference, {TLCA} 2005, Nara, Japan, April 21-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3461}, pages = {278--292}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11417170\_21}, doi = {10.1007/11417170\_21}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tlca/MatwinFHC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-cs-0505037, author = {Venanzio Capretta}, title = {General Recursion via Coinductive Types}, journal = {CoRR}, volume = {abs/cs/0505037}, year = {2005}, url = {http://arxiv.org/abs/cs/0505037}, eprinttype = {arXiv}, eprint = {cs/0505037}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-cs-0505037.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CaprettaUV04, author = {Venanzio Capretta and Tarmo Uustalu and Varmo Vene}, editor = {Jir{\'{\i}} Ad{\'{a}}mek and Stefan Milius}, title = {Recursive Coalgebras from Comonads}, booktitle = {Proceedings of the Workshop on Coalgebraic Methods in Computer Science, {CMCS} 2004, Barcelona, Spain, March 27-29, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {106}, pages = {43--61}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.02.034}, doi = {10.1016/J.ENTCS.2004.02.034}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CaprettaUV04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/BartheCP03, author = {Gilles Barthe and Venanzio Capretta and Olivier Pons}, title = {Setoids in type theory}, journal = {J. Funct. Program.}, volume = {13}, number = {2}, pages = {261--293}, year = {2003}, url = {https://doi.org/10.1017/S0956796802004501}, doi = {10.1017/S0956796802004501}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/BartheCP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0011486, author = {Venanzio Capretta}, title = {Abstraction and computation - type theory, algebraic structures, and recursive functions}, publisher = {Univ. Nijmegen}, year = {2002}, isbn = {978-90-9015738-2}, timestamp = {Fri, 15 Apr 2011 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0011486.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tphol/BertotCB02, author = {Yves Bertot and Venanzio Capretta and Kuntal Das Barman}, editor = {Victor Carre{\~{n}}o and C{\'{e}}sar A. Mu{\~{n}}oz and Sofi{\`{e}}ne Tahar}, title = {Type-Theoretic Functional Semantics}, booktitle = {Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2410}, pages = {83--98}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45685-6\_7}, doi = {10.1007/3-540-45685-6\_7}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/tphol/BertotCB02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tphol/BoveC01, author = {Ana Bove and Venanzio Capretta}, editor = {Richard J. Boulton and Paul B. Jackson}, title = {Nested General Recursion and Partiality in Type Theory}, booktitle = {Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2152}, pages = {121--135}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-44755-5\_10}, doi = {10.1007/3-540-44755-5\_10}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tphol/BoveC01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tphol/Capretta01, author = {Venanzio Capretta}, editor = {Richard J. Boulton and Paul B. Jackson}, title = {Certifying the Fast Fourier Transform with Coq}, booktitle = {Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2152}, pages = {154--168}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-44755-5\_12}, doi = {10.1007/3-540-44755-5\_12}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tphol/Capretta01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tphol/Capretta00, author = {Venanzio Capretta}, editor = {Mark D. Aagaard and John Harrison}, title = {Recursive Families of Inductive Types}, booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1869}, pages = {73--89}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44659-1\_5}, doi = {10.1007/3-540-44659-1\_5}, timestamp = {Tue, 15 Aug 2023 09:02:05 +0200}, biburl = {https://dblp.org/rec/conf/tphol/Capretta00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/CaprettaV99, author = {Venanzio Capretta and Silvio Valentini}, title = {A general method for proving the normalization theorem for first and second order typed lambda-calculi}, journal = {Math. Struct. Comput. Sci.}, volume = {9}, number = {6}, pages = {719--739}, year = {1999}, url = {http://journals.cambridge.org/action/displayAbstract?aid=44851}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/CaprettaV99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tphol/Capretta99, author = {Venanzio Capretta}, editor = {Yves Bertot and Gilles Dowek and Andr{\'{e}} Hirschowitz and Christine Paulin{-}Mohring and Laurent Th{\'{e}}ry}, title = {Universal Algebra in Type Theory}, booktitle = {Theorem Proving in Higher Order Logics, 12th International Conference, TPHOLs'99, Nice, France, September, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1690}, pages = {131--148}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48256-3\_10}, doi = {10.1007/3-540-48256-3\_10}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/tphol/Capretta99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.