Ana Bove

Associate Professor (Docent), Logic and Types division, Department of Computer Science and Engineering.

bove@chalmers.se +46 31 772 10 20 Find me

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

Publications

Latest publications

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

Author: Ernesto Copello; Alvaro Tasistro; Nora Szasz; Ana Bove; Maribel Fernandez

Published: 2016

Published in: Electronic Notes in Theoretical Computer Science

Publication type: Journal article
Partiality and recursion in interactive theorem provers – an overview

Author: Ana Bove; Alexander Krauss; Matthieu Sozeau

Published: 2016

Published in: Mathematical Structures in Computer Science

Publication type: Paper in proceedings
2015
Principles of Alpha-Induction and Recursion for the Lambda Calculus in Constructive Type Theory

Author: Ernesto Copello; Alvaro Tasistro; Nora Szasz; Ana Bove; Maribel Fernandez

Published: 2015

Published in:

Publication type: Paper in proceedings
2012
Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs

Author: Ana Bove; Peter Dybjer; Andrés Sicard-Ramírez

Published: 2012

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceedings
2010
Proceedings of the workshop on Partiality and Recursion in Interactive Theorem Provers

Author: Ana Bove; Ekaterina Komendantskaya; Milad Niqui

Published: 2010

Published in:

Publication type: Book
2009
Embedding a Logical Theory of Constructions in Agda

Author: Ana Bove; Peter Dybjer; Andres Sicard-Ramirez

Published: 2009

Published in:

Publication type: Paper in proceedings
Dependent Types at Work

Author: Ana Bove; Peter Dybjer

Published: 2009

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceedings
Language Engineering and Rigorous Software Development

Author: Ana Bove; Luis Barbosa; Alberto Pardo; Jorge Sousa Pinto

Published: 2009

Published in:

Publication type: Edited book
Another Look at Function Domains

Author: Ana Bove

Published: 2009

Published in: Electronic Notes in Theoretical Computer Science

Publication type: Conference contribution
A Brief Overview of Agda - A Functional Language with Dependent Types

Author: Ana Bove; Peter Dybjer; Ulf Norell

Published: 2009

Published in:

Publication type: Conference contribution
2008
A Type of Partial Recursive Functions

Author: Ana Bove; Venanzio Capretta

Published: 2008

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceedings
2007
Computation by Prophecy

Author: Ana Bove; Venanzio Capretta

Published: 2007

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceedings
2005
Verifying Haskell Programs Using Constructive Type Theory

Author: Andreas Abel; Marcin Benke; Ana Bove; John Hughes; Ulf Norell

Published: 2005

Published in:

Publication type: Paper in proceedings
Recursive Functions with Higher Order Domains

Author: Ana Bove; Venanzio Capretta

Published: 2005

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceedings
Formalising Bitonic Sort in Type Theory

Author: Ana Bove; Thierry Coquand

Published: 2005

Published in:

Publication type: Paper in proceedings
Modelling General Recursion in Type Theory

Author: Ana Bove; Venanzio Capretta

Published: 2005

Published in:

Publication type: Journal article
2004
Formalising Bitonic Sort using Dependent Types

Author: Ana Bove

Published: 2004

Published in:

Publication type: Report
2003
General Recursion in Type Theory

Author: Ana Bove

Published: 2003

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceedings
2002
General Recursion in Type Theory

Author: Ana Bove

Published: 2002

Published in:

Publication type: Doctoral thesis
Mutual General Recursion in Type Theory

Author: Ana Bove

Published: 2002

Published in:

Publication type: Report
Generalised Simultaneous Inductive-Recursive Definitions and their Application to Programming in Type Theory

Author: Ana Bove

Published: 2002

Published in:

Publication type: Report
2001
Simple General Recursion in Type Theory

Author: Ana Bove

Published: 2001

Published in:

Publication type: Journal article
Nested General Recursion and Partiality in Type Theory

Author: Ana Bove; Venanzio Capretta

Published: 2001

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceedings
1999
Programming in Martin-Löf Type Theory: Unification - A non-trivial Example

Author: Ana Bove

Published: 1999

Published in:

Publication type: Licentiate thesis
Alpha Conversion in Simply Typed Lambda Calculus

Author: Ana Bove; Paula Severi

Published: 1999

Published in:

Publication type: Paper in proceedings

Go to Chalmers publication library

Published: Sat 24 Aug 2013. Modified: Mon 01 Jul 2019

Ana Bove

Latest publications

2016

2015

2012

2010

2009

2008

2007

2005

2004

2003

2002

2001

1999