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
Language Engineering and Rigorous Software Development
Embedding a Logical Theory of Constructions in Agda
A Brief Overview of Agda - A Functional Language with Dependent Types
Another Look at Function Domains
A Type of Partial Recursive Functions
Modelling General Recursion in Type Theory
Formalising Bitonic Sort in Type Theory
Verifying Haskell Programs Using Constructive Type Theory
Recursive Functions with Higher Order Domains
General Recursion in Type Theory
Simple General Recursion in Type Theory
Nested General Recursion and Partiality in Type Theory
Programming in Martin-Löf Type Theory: Unification - A non-trivial Example
Alpha Conversion in Simply Typed Lambda Calculus
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.