Ana Bove

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Alpha-structural induction and recursion for the lambda calculus in constructive type theory	2018-04-23	Paper
Partiality and recursion in interactive theorem provers -- an overview Mathematical Structures in Computer Science	2016-07-28	Paper
Another look at function domains Electronic Notes in Theoretical Computer Science	2016-05-10	Paper
Combining interactive and automatic reasoning in first order theories of functional programs Foundations of Software Science and Computational Structures	2012-06-22	Paper
A Brief Overview of Agda – A Functional Language with Dependent Types Lecture Notes in Computer Science	2009-10-20	Paper
Dependent Types at Work Language Engineering and Rigorous Software Development	2009-07-28	Paper
Computation by Prophecy Lecture Notes in Computer Science	2009-03-10	Paper
A Type of Partial Recursive Functions Lecture Notes in Computer Science	2008-12-04	Paper
Types for Proofs and Programs Lecture Notes in Computer Science	2006-11-13	Paper
Typed Lambda Calculi and Applications Lecture Notes in Computer Science	2005-11-11	Paper
Modelling general recursion in type theory Mathematical Structures in Computer Science	2005-10-18	Paper
scientific article; zbMATH DE number 2003149 (Why is no real title available?)	2003-11-12	Paper
scientific article; zbMATH DE number 1863381 (Why is no real title available?)	2003-02-04	Paper
Simple general recursion in type theory Nordic Journal of Computing	2002-01-31	Paper

Research outcomes over time

This page was built for person: Ana Bove