Ana Bove

Associate Professor at Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

Programme manager of the Computer Science bachelor's programme (Datavetenskapligt program) at the University of Gothenburg.Link to personal page

Source: chalmers.se

Showing 28 publications

2016

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

Ernesto Copello, Alvaro Tasistro, Nora Szasz et al
Electronic Notes in Theoretical Computer Science. Vol. 323, p. 109-124
Journal article
2016

Partiality and recursion in interactive theorem provers – an overview

Ana Bove, Alexander Krauss, Matthieu Sozeau
Mathematical Structures in Computer Science. Vol. 26 (1), p. 38-88
Paper in proceedings
2015

Principles of Alpha-Induction and Recursion for the Lambda Calculus in Constructive Type Theory

Ernesto Copello, Alvaro Tasistro, Nora Szasz et al
LSFA, p. 16-
Paper in proceedings
2012

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

Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7213, p. 104-118
Paper in proceedings
2010

Proceedings of the workshop on Partiality and Recursion in Interactive Theorem Provers

Ana Bove, Ekaterina Komendantskaya, Milad Niqui
Book
2009

Language Engineering and Rigorous Software Development

Ana Bove, Luis Barbosa, Alberto Pardo et al
Edited book
2009

Embedding a Logical Theory of Constructions in Agda

Ana Bove, Peter Dybjer, Andres Sicard-Ramirez
Proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV) 2009, p. 59-66
Paper in proceedings
2009

Dependent Types at Work

Ana Bove, Peter Dybjer
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5520, p. 57-99
Paper in proceedings
2009

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

Ana Bove, Peter Dybjer, Ulf Norell
Theorem Proving in Higher Order Logics. Vol. 5674 (LNCS), p. 73--78-
Conference contribution
2009

Another Look at Function Domains

Ana Bove
Electronic Notes in Theoretical Computer Science. Vol. 249 (ENTCS), p. 61-74
Conference contribution
2008

A Type of Partial Recursive Functions

Ana Bove, Venanzio Capretta
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. LNCS 5170, p. 102--117-
Paper in proceedings
2007

Computation by Prophecy

Ana Bove, Venanzio Capretta
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), p. 70--83-
Paper in proceedings
2005

Modelling General Recursion in Type Theory

Ana Bove, Venanzio Capretta
Mathematical Structures in Computer Science. Vol. 15, p. 671--708-
Journal article
2005

Formalising Bitonic Sort in Type Theory

Ana Bove, Thierry Coquand
Types for Proofs and Programs TYPES 2004. Vol. LNCS 3839, p. 82-97
Paper in proceedings
2005

Verifying Haskell Programs Using Constructive Type Theory

Andreas Abel, Marcin Benke, Ana Bove et al
Proceedings of the 2005 ACM SIGPLAN Workshop on Haskell
Paper in proceedings
2005

Recursive Functions with Higher Order Domains

Ana Bove, Venanzio Capretta
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (LNCS 3461), p. 116--130-
Paper in proceedings
2003

General Recursion in Type Theory

Ana Bove
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2646, p. 39-58
Paper in proceedings
2002

General Recursion in Type Theory

Ana Bove
Doctoral thesis
2001

Simple General Recursion in Type Theory

Ana Bove
Nordic Journal of Computing. Vol. 8, p. 22--42-
Journal article
2001

Nested General Recursion and Partiality in Type Theory

Ana Bove, Venanzio Capretta
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. LNCS 2152, p. 121--135-
Paper in proceedings
1999

Alpha Conversion in Simply Typed Lambda Calculus

Ana Bove, Paula Severi
6th Workshop on Logic, Language, Information and Computation
Paper in proceedings
1996

A Machine-assisted Proof of the Subject Reduction Property for a Small Typed Functional Language

Ana Bove, Alvaro Tasistro
Workshop on Logic, Language, Information and Computation
Conference contribution
1992

A Confluent Calculus of Macro Expansion and Evaluation

Ana Bove, Laura Arbilla
Lisp and Functional Programming
Paper in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

There are no projects.
There might be more projects where Ana Bove participates, but you have to be logged in as a Chalmers employee to see them.