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. GENIE representative, 2020-2023 Member of Chalmers Faculty senate, May 2016-June 2023 Director of studies at CSE, Sep.2005-Dec.2019 Programme manager Datavetenskaplig program (DV) at GU, 2013-2019 Substitute member of the IT Faculty Board at GU, autumn 2018 and 2019 Acting unit head, Logic and types, spring 2019 Project manager of ForMath, a EU FP7 STREP FET-open project lead by Prof. Thierry Coquand, March 2010-July 2013
Since 2021, head of the Logic and types unit in the Computing Science division. Past Management Tasks
Visar 28 publikationer
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
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.