Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Ana Bove

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[c12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/BoveDS12
- ask others
Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez: Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs. FoSSaCS 2012: 104-118
2010
[e2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1012-4555
- ask others
Ana Bove, Ekaterina Komendantskaya, Milad Niqui (Eds.): Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers. EPTCS 43, 2010

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Bove09
- ask others
Ana Bove: Another Look at Function Domains. Electr. Notes Theor. Comput. Sci. 249: 61-74 (2009)
[c11]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/plpv/BoveDS09
- ask others
Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez: Embedding a logical theory of constructions in Agda. PLPV 2009: 59-66
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/BoveDN09
- ask others
Ana Bove, Peter Dybjer, Ulf Norell: A Brief Overview of Agda - A Functional Language with Dependent Types. TPHOLs 2009: 73-78
[e1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lernet/2008
- ask others
Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (Eds.): Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures. Lecture Notes in Computer Science 5520, Springer 2009, ISBN 978-3-642-03152-6
2008
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lernet/BoveD08
- ask others
Ana Bove, Peter Dybjer: Dependent Types at Work. LerNet ALFA Summer School 2008: 57-99
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/BoveC08
- ask others
Ana Bove, Venanzio Capretta: A Type of Partial Recursive Functions. TPHOLs 2008: 102-117
2007
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tlca/BoveC07
- ask others
Ana Bove, Venanzio Capretta: Computation by Prophecy. TLCA 2007: 70-83
2005
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mscs/BoveC05
- ask others
Ana Bove, Venanzio Capretta: Modelling general recursion in type theory. Mathematical Structures in Computer Science 15(4): 671-708 (2005)
[c6]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/haskell/AbelBBHN05
- ask others
Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell: Verifying haskell programs using constructive type theory. Haskell 2005: 62-73
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tlca/BoveC05
- ask others
Ana Bove, Venanzio Capretta: Recursive Functions with Higher Order Domains. TLCA 2005: 116-130
2004
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/types/BoveC04
- ask others
Ana Bove, Thierry Coquand: Formalising Bitonic Sort in Type Theory. TYPES 2004: 82-97
2002
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/types/Bove02
- ask others
Ana Bove: General Recursion in Type Theory. TYPES 2002: 39-58
2001
[j1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/njc/Bove01
- ask others
Ana Bove: Simple General Recursion in Type Theory. Nord. J. Comput. 8(1): 22-42 (2001)
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/BoveC01
- ask others
Ana Bove, Venanzio Capretta: Nested General Recursion and Partiality in Type Theory. TPHOLs 2001: 121-135

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1992
[c1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lfp/BoveA92
- ask others
Ana Bove, Laura Arbilla: A Confluent Calculus of Macro Expansion and Evaluation. LISP and Functional Programming 1992: 278-287