# Ana Bove

**Associate Professor at Computing Science (Chalmers)**

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**

**2016**

Partiality and recursion in interactive theorem provers – an overview

**Ana Bove, Alexander Krauss, Matthieu Sozeau**

**2015**

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

**Ernesto Copello, Alvaro Tasistro, Nora Szasz et al**

**2012**

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

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

**2010**

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

**Ana Bove, Ekaterina Komendantskaya, Milad Niqui**

**2009**

Language Engineering and Rigorous Software Development

**Ana Bove, Luis Barbosa, Alberto Pardo et al**

**2009**

Embedding a Logical Theory of Constructions in Agda

**Ana Bove, Peter Dybjer, Andres Sicard-Ramirez**

**2009**

**Ana Bove, Peter Dybjer**

**2009**

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

**Ana Bove, Peter Dybjer, Ulf Norell**

**2009**

Another Look at Function Domains

**Ana Bove**

**2008**

A Type of Partial Recursive Functions

**Ana Bove, Venanzio Capretta**

**2007**

**Ana Bove, Venanzio Capretta**

**2005**

Modelling General Recursion in Type Theory

**Ana Bove, Venanzio Capretta**

**2005**

Recursive Functions with Higher Order Domains

**Ana Bove, Venanzio Capretta**

**2005**

Formalising Bitonic Sort in Type Theory

**Ana Bove, Thierry Coquand**

**2005**

Verifying Haskell Programs Using Constructive Type Theory

**Andreas Abel, Marcin Benke, Ana Bove et al**

**2003**

General Recursion in Type Theory

**Ana Bove**

**2002**

**Ana Bove**

**2001**

Simple General Recursion in Type Theory

**Ana Bove**

**2001**

Nested General Recursion and Partiality in Type Theory

**Ana Bove, Venanzio Capretta**

**1999**

Programming in Martin-Löf Type Theory: Unification - A non-trivial Example

**Ana Bove**

**1999**

Alpha Conversion in Simply Typed Lambda Calculus

**Ana Bove, Paula Severi**

**1996**

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

**Ana Bove, Alvaro Tasistro**

**1992**

A Confluent Calculus of Macro Expansion and Evaluation

**Ana Bove, Laura Arbilla**

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

*There are no projects.*