Skip Ribbon Commands

Skip to main content

Start

Staff

Ana Bove

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

bove@chalmers.se +46317721020 Find me

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: LSFA

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: Proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV) 2009

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: Theorem Proving in Higher Order Logics

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: Proceedings of the 2005 ACM SIGPLAN Workshop on Haskell

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: Types for Proofs and Programs TYPES 2004

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

Author: Ana Bove; Venanzio Capretta

Published: 2005

Published in: Mathematical Structures in Computer Science

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: Nordic Journal of Computing

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: 6th Workshop on Logic, Language, Information and Computation

Publication type: Paper in proceedings

Go to Chalmers publication library

Published: Thu 20 Feb 2020.