default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ana Bove
@article{DBLP:journals/mscs/BoveKS16,
author = {Ana Bove and
Alexander Krauss and
Matthieu Sozeau},
title = {Partiality and recursion in interactive theorem provers - an overview},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {1},
pages = {38--88},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000115},
doi = {10.1017/S0960129514000115},
timestamp = {Mon, 26 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/BoveKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CopelloTSBF16,
author = {Ernesto Copello and
Alvaro Tasistro and
Nora Szasz and
Ana Bove and
Maribel Fern{\'{a}}ndez},
editor = {Mario R. F. Benevides and
Ren{\'{e}} Thiemann},
title = {Alpha-Structural Induction and Recursion for the Lambda Calculus in
Constructive Type Theory},
booktitle = {Proceedings of the Tenth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
1, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {323},
pages = {109--124},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.06.008},
doi = {10.1016/J.ENTCS.2016.06.008},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CopelloTSBF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BoveDS12,
author = {Ana Bove and
Peter Dybjer and
Andr{\'{e}}s Sicard{-}Ram{\'{\i}}rez},
editor = {Lars Birkedal},
title = {Combining Interactive and Automatic Reasoning in First Order Theories
of Functional Programs},
booktitle = {Foundations of Software Science and Computational Structures - 15th
International Conference, {FOSSACS} 2012, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7213},
pages = {104--118},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28729-9\_7},
doi = {10.1007/978-3-642-28729-9\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BoveDS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/itp/2010par,
editor = {Ekaterina Komendantskaya and
Ana Bove and
Milad Niqui},
title = {Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010,
Edinburgh, UK, July 15, 2010},
series = {EPiC Series},
volume = {5},
publisher = {EasyChair},
year = {2012},
url = {https://easychair.org/publications/volume/PAR-10},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/2010par.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1012-4555,
editor = {Ana Bove and
Ekaterina Komendantskaya and
Milad Niqui},
title = {Proceedings Workshop on Partiality and Recursion in Interactive Theorem
Provers, {PAR} 2010, Edinburgh, UK, 15th July 2010},
series = {{EPTCS}},
volume = {43},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.43},
doi = {10.4204/EPTCS.43},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-4555.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plpv/BoveDS09,
author = {Ana Bove and
Peter Dybjer and
Andr{\'{e}}s Sicard{-}Ram{\'{\i}}rez},
editor = {Thorsten Altenkirch and
Todd D. Millstein},
title = {Embedding a logical theory of constructions in Agda},
booktitle = {Proceedings of the 3rd {ACM} Workshop Programming Languages meets
Program Verification, {PLPV} 2009, Savannah, GA, USA, January 20,
2009},
pages = {59--66},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1481848.1481857},
doi = {10.1145/1481848.1481857},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plpv/BoveDS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/BoveDN09,
author = {Ana Bove and
Peter Dybjer and
Ulf Norell},
editor = {Stefan Berghofer and
Tobias Nipkow and
Christian Urban and
Makarius Wenzel},
title = {A Brief Overview of Agda - {A} Functional Language with Dependent
Types},
booktitle = {Theorem Proving in Higher Order Logics, 22nd International Conference,
TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5674},
pages = {73--78},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03359-9\_6},
doi = {10.1007/978-3-642-03359-9\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/BoveDN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bove09,
author = {Ana Bove},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Another Look at Function Domains},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {61--74},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.084},
doi = {10.1016/J.ENTCS.2009.07.084},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Bove09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lernet/2008,
editor = {Ana Bove and
Lu{\'{\i}}s Soares Barbosa and
Alberto Pardo and
Jorge Sousa Pinto},
title = {Language Engineering and Rigorous Software Development, International
LerNet {ALFA} Summer School 2008, Piriapolis, Uruguay, February 24
- March 1, 2008, Revised Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {5520},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03153-3},
doi = {10.1007/978-3-642-03153-3},
isbn = {978-3-642-03152-6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lernet/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lernet/BoveD08,
author = {Ana Bove and
Peter Dybjer},
editor = {Ana Bove and
Lu{\'{\i}}s Soares Barbosa and
Alberto Pardo and
Jorge Sousa Pinto},
title = {Dependent Types at Work},
booktitle = {Language Engineering and Rigorous Software Development, International
LerNet {ALFA} Summer School 2008, Piriapolis, Uruguay, February 24
- March 1, 2008, Revised Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {5520},
pages = {57--99},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03153-3\_2},
doi = {10.1007/978-3-642-03153-3\_2},
timestamp = {Thu, 14 Oct 2021 10:43:04 +0200},
biburl = {https://dblp.org/rec/conf/lernet/BoveD08.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: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/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/haskell/AbelBBHN05,
author = {Andreas Abel and
Marcin Benke and
Ana Bove and
John Hughes and
Ulf Norell},
editor = {Daan Leijen},
title = {Verifying haskell programs using constructive type theory},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2005,
Tallinn, Estonia, September 30, 2005},
pages = {62--73},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1088348.1088355},
doi = {10.1145/1088348.1088355},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/haskell/AbelBBHN05.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/types/BoveC04,
author = {Ana Bove and
Thierry Coquand},
editor = {Jean{-}Christophe Filli{\^{a}}tre and
Christine Paulin{-}Mohring and
Benjamin Werner},
title = {Formalising Bitonic Sort in Type Theory},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2004,
Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3839},
pages = {82--97},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11617990\_6},
doi = {10.1007/11617990\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/BoveC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Bove02,
author = {Ana Bove},
title = {General Recursion in Type Theory},
school = {Chalmers University of Technology, Gothenburg, Sweden},
year = {2002},
url = {http://publications.lib.chalmers.se/publication/332-general-recursion-in-type-theory},
timestamp = {Tue, 14 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/basesearch/Bove02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Bove02,
author = {Ana Bove},
editor = {Herman Geuvers and
Freek Wiedijk},
title = {General Recursion in Type Theory},
booktitle = {Types for Proofs and Programs, Second International Workshop, {TYPES}
2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2646},
pages = {39--58},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-39185-1\_3},
doi = {10.1007/3-540-39185-1\_3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/Bove02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Bove01,
author = {Ana Bove},
title = {Simple General Recursion in Type Theory},
journal = {Nord. J. Comput.},
volume = {8},
number = {1},
pages = {22--42},
year = {2001},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Bove01.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/lfp/BoveA92,
author = {Ana Bove and
Laura Arbilla},
editor = {Jon L. White},
title = {A Confluent Calculus of Macro Expansion and Evaluation},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {278--287},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141562},
doi = {10.1145/141471.141562},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/BoveA92.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.
last updated on 2024-04-24 22:45 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:
