Ana Bove

Available identifiers

zbMath Open bove.anaMaRDI QIDQ1744409

List of research outcomes

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	2016-07-28	Paper
Another look at function domains	2016-05-10	Paper
Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs	2012-06-22	Paper
A Brief Overview of Agda – A Functional Language with Dependent Types	2009-10-20	Paper
Dependent Types at Work	2009-07-28	Paper
Computation by Prophecy	2009-03-10	Paper
A Type of Partial Recursive Functions	2008-12-04	Paper
Types for Proofs and Programs	2006-11-13	Paper
Typed Lambda Calculi and Applications	2005-11-11	Paper
Modelling general recursion in type theory	2005-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q4435459	2003-11-12	Paper
https://portal.mardi4nfdi.de/entity/Q4790656	2003-02-04	Paper
Simple general recursion in type theory	2002-01-31	Paper

Research outcomes over time

This page was built for person: Ana Bove