bibliographer - Andreas Abel

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Equational Reasoning about Formal Languages in Coalgebraic Style Andreas Abel [github]

Normalization by Evaluation for Call-by-Push-Value and Polarized Lambda-Calculus Andreas Abel Christian Sattler [github]

Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types Andrea Vezzosi Anders Mørtberg Andreas Abel [github]

Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman [github]

Normalization by Evaluation Dependent Types and Impredicativity Andreas Abel [github]

Verifying a Semantic betaeta-Conversion Test for Martin-Lf Type Theory Andreas Abel Thierry Coquand Peter Dybjer [github]

Normalization for the Simply-Typed Lambda-Calculus in Twelf Andreas Abel [github]

A predicative analysis of structural recursion ANDREAS ABEL THORSTEN ALTENKIRCH [github]

Normalization by evaluation for sized dependent types Andreas Abel Andrea Vezzosi Theo Winterhalter [github]

Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus Andreas Abel Christian Sattler [github]

Library Size: 13G (10 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]