Andreas Abel
Visar 21 publikationer
A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized
Elaborating dependent (co)pattern matching: No pattern left behind
Normalization by evaluation for call-by-push-value and polarized lambda-calculus
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
Normalization by Evaluation for Martin-Löf Type Theory with Equality Judgements
Untyped algorithmic equality for Martin-Löf's logical framework with surjective pairs
Iteration and coiteration schemes for higher-order and nested datatypes
Untyped Algorithmic Equality for Martin-Löf's Logical Framework with Surjective Pairs.
Verifying Haskell Programs Using Constructive Type Theory
Connecting a Logical Framework to a First-Order Logic Prover.
Fixed Points of Type Constructors and Primitive Recursion
Termination checking with types
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.