Ana Bove

ORCID

Publication Activity (10 Years)

Years Active: 1992-2016
Publications (10 Years): 2

Top Venues

FoSSaCS

LSFA

Math. Struct. Comput. Sci.

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History

Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications

Ana Bove, Alexander Krauss, Matthieu Sozeau
Partiality and recursion in interactive theorem provers - an overview. Math. Struct. Comput. Sci. 26 (1) (2016)
Ernesto Copello, Alvaro Tasistro, Nora Szasz, Ana Bove, Maribel Fernández
Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory. LSFA (2015)
Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez
Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs. FoSSaCS (2012)
Ana Bove, Peter Dybjer, Ulf Norell
A Brief Overview of Agda - A Functional Language with Dependent Types. TPHOLs (2009)
Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez
Embedding a logical theory of constructions in Agda. PLPV (2009)
Ana Bove
Another Look at Function Domains. MFPS (2009)
Ana Bove, Peter Dybjer
Dependent Types at Work. LerNet ALFA Summer School (2008)
Ana Bove, Venanzio Capretta
A Type of Partial Recursive Functions. TPHOLs (2008)
Ana Bove, Venanzio Capretta
Computation by Prophecy. TLCA (2007)
Ana Bove, Venanzio Capretta
Modelling general recursion in type theory. Math. Struct. Comput. Sci. 15 (4) (2005)
Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell
Verifying haskell programs using constructive type theory. Haskell (2005)
Ana Bove, Venanzio Capretta
Recursive Functions with Higher Order Domains. TLCA (2005)
Ana Bove, Thierry Coquand
Formalising Bitonic Sort in Type Theory. TYPES (2004)
Ana Bove
General Recursion in Type Theory. TYPES (2002)
Ana Bove, Venanzio Capretta
Nested General Recursion and Partiality in Type Theory. TPHOLs (2001)
Ana Bove
Simple General Recursion in Type Theory. Nord. J. Comput. 8 (1) (2001)
Ana Bove, Laura Arbilla
A Confluent Calculus of Macro Expansion and Evaluation. LISP and Functional Programming (1992)

Ana Bove.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ana Bove