Andreas Abel
Visar 19 publikationer
Elaborating dependent (co)pattern matching: No pattern left behind
Normalization by evaluation for call-by-push-value and polarized lambda calculus
Decidability of Conversion for Type Theory in Type Theory
Normalization by evaluation for sized dependent types
Well-founded recursion with copatterns and sized types
A formalized proof of strong normalization for guarded recursive types
Wellfounded recursion with copatterns: a unified approach to termination and productivity
On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory
Verifying a semantic βη-conversion test for martin-löf type theory
Normalization by evaluation for Martin-Löf type theory with one universe
Untyped algorithmic equality for Martin-Löf's logical framework with surjective pairs
Normalization by Evaluation for Martin-Löf Type Theory with Equality Judgements
Connecting a Logical Framework to a First-Order Logic Prover.
Untyped Algorithmic Equality for Martin-Löf's Logical Framework with Surjective Pairs.
Iteration and coiteration schemes for higher-order and nested datatypes
Verifying Haskell Programs Using Constructive Type Theory
Termination checking with types
Fixed Points of Type Constructors and Primitive Recursion
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.