Ana Bove

Docent vid Computing Science

I am an Associate Professor (Docent) at the Computing Science division of the department of Computer Science and Engineering at Chalmers university of technology and University of Gothenburg in Göteborg, Sweden.



Head of the Logic and types unit in the Computing Science division.



Källa: chalmers.se
Image of Ana Bove

Visar 28 publikationer

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
Artikel i vetenskaplig tidskrift
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
Artikel i vetenskaplig tidskrift
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 i proceeding
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 LNCS, p. 104-118
Paper i proceeding
2010

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

Ana Bove, Ekaterina Komendantskaya, Milad Niqui
Bok
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 i proceeding
2009

Another Look at Function Domains

Ana Bove
Electronic Notes in Theoretical Computer Science. Vol. 249 (ENTCS), p. 61-74
Övrigt konferensbidrag
2009

Language Engineering and Rigorous Software Development

Ana Bove, Luis Barbosa, Alberto Pardo et al
Samlingsverk (redaktörskap)
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 i proceeding
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-
Övrigt konferensbidrag
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 i proceeding
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 i proceeding
2005

Modelling General Recursion in Type Theory

Ana Bove, Venanzio Capretta
Mathematical Structures in Computer Science. Vol. 15, p. 671--708-
Artikel i vetenskaplig tidskrift
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 i proceeding
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 i proceeding
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 i proceeding
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 i proceeding
2002

General Recursion in Type Theory

Ana Bove
Doktorsavhandling
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 i proceeding
2001

Simple General Recursion in Type Theory

Ana Bove
Nordic Journal of Computing. Vol. 8, p. 22--42-
Artikel i vetenskaplig tidskrift
1999

Alpha Conversion in Simply Typed Lambda Calculus

Ana Bove, Paula Severi
6th Workshop on Logic, Language, Information and Computation
Paper i proceeding
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
Övrigt konferensbidrag
1992

A Confluent Calculus of Macro Expansion and Evaluation

Ana Bove, Laura Arbilla
Lisp and Functional Programming
Paper i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.
Det kan finnas fler projekt där Ana Bove medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.