Ana Bove

Docent vid Chalmers, Data- och informationsteknik, Datavetenskap

Programansvarig för Datavetenskapligt program på kandidatnivå vid Göteborgs Universitet.Länk till personlig sida

Källa: chalmers.se

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
Paper i proceeding
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. Vol. 7213, 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

Language Engineering and Rigorous Software Development

Ana Bove, Luis Barbosa, Alberto Pardo et al
Samlingsverk (redaktörskap)
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

Dependent Types at Work

Ana Bove, Peter Dybjer
Lecture Notes in Computer Science. 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-
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2009

Another Look at Function Domains

Ana Bove
Electronic Notes in Theoretical Computer Science. Vol. 249 (ENTCS), p. 61-74
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2008

A Type of Partial Recursive Functions

Ana Bove, Venanzio Capretta
Lecture Notes in Computer Science. Vol. LNCS 5170, p. 102--117-
Paper i proceeding
2007

Computation by Prophecy

Ana Bove, Venanzio Capretta
Lecture Notes in Computer Science, 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

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

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

Recursive Functions with Higher Order Domains

Ana Bove, Venanzio Capretta
Lecture Notes in Computer Science (LNCS 3461), p. 116--130-
Paper i proceeding
2003

General Recursion in Type Theory

Ana Bove
Lecture Notes in Computer Science. Vol. 2646, p. 39-58
Paper i proceeding
2002

General Recursion in Type Theory

Ana Bove
Doktorsavhandling
2001

Simple General Recursion in Type Theory

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

Nested General Recursion and Partiality in Type Theory

Ana Bove, Venanzio Capretta
Lecture Notes in Computer Science. Vol. LNCS 2152, p. 121--135-
Paper i proceeding
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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
1992

A Confluent Calculus of Macro Expansion and Evaluation

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

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

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.