Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Venanzio Capretta
@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}
}
a service of 
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.
last updated on 2023-09-27 22:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
