Ana Bove

According to our database, Ana Bove authored at least 18 papers between 1992 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Partiality and recursion in interactive theorem provers - an overview.

Ana Bove, Alexander Krauss, Matthieu Sozeau

Math. Struct. Comput. Sci., 2016

2015

Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory.

Ernesto Copello, Alvaro Tasistro, Nora Szasz, Ana Bove, Maribel Fernández

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

2012

Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs.

Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez

Proceedings of the Foundations of Software Science and Computational Structures, 2012

2009

Another Look at Function Domains.

Ana Bove

Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009

A Brief Overview of Agda - A Functional Language with Dependent Types.

Ana Bove, Peter Dybjer, Ulf Norell

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

Embedding a logical theory of constructions in Agda.

Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez

Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, 2009

2008

A Type of Partial Recursive Functions.

Ana Bove, Venanzio Capretta

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

Dependent Types at Work.

Ana Bove, Peter Dybjer

Proceedings of the Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24, 2008

2007

Computation by Prophecy.

Ana Bove, Venanzio Capretta

Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007

2005

Modelling general recursion in type theory.

Ana Bove, Venanzio Capretta

Math. Struct. Comput. Sci., 2005

Recursive Functions with Higher Order Domains.

Ana Bove, Venanzio Capretta

Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005

Verifying haskell programs using constructive type theory.

Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2005

2004

Formalising Bitonic Sort in Type Theory.

Ana Bove, Thierry Coquand

Proceedings of the Types for Proofs and Programs, International Workshop, 2004

2002

General Recursion in Type Theory.

Ana Bove

PhD thesis, 2002

General Recursion in Type Theory.

Ana Bove

Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002

2001

Simple General Recursion in Type Theory.

Ana Bove

Nord. J. Comput., 2001

Nested General Recursion and Partiality in Type Theory.

Ana Bove, Venanzio Capretta

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

1992

A Confluent Calculus of Macro Expansion and Evaluation.

Ana Bove, Laura Arbilla

Proceedings of the Conference on Lisp and Functional Programming, 1992