Ana Bove
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.
Showing 28 publications
Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory
Partiality and recursion in interactive theorem provers – an overview
Principles of Alpha-Induction and Recursion for the Lambda Calculus in Constructive Type Theory
Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs
Proceedings of the workshop on Partiality and Recursion in Interactive Theorem Provers
Embedding a Logical Theory of Constructions in Agda
Another Look at Function Domains
Language Engineering and Rigorous Software Development
A Brief Overview of Agda - A Functional Language with Dependent Types
A Type of Partial Recursive Functions
Modelling General Recursion in Type Theory
Verifying Haskell Programs Using Constructive Type Theory
Formalising Bitonic Sort in Type Theory
Recursive Functions with Higher Order Domains
General Recursion in Type Theory
Nested General Recursion and Partiality in Type Theory
Simple General Recursion in Type Theory
Alpha Conversion in Simply Typed Lambda Calculus
Programming in Martin-Löf Type Theory: Unification - A non-trivial Example
A Machine-assisted Proof of the Subject Reduction Property for a Small Typed Functional Language
A Confluent Calculus of Macro Expansion and Evaluation
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:
Zotero Connector
Mendeley Web Importer
The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.