Ana Bove
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.