bibliographer - Andrei Popescu

bibliographer a curated TCS bibliography

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

Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic Julian Biendarra Jasmin Christian Blanchette Aymeric Bouzy Martin Desharnais Mathias Fleury Johannes Hölzl Ondřej Kunčar Andreas Lochbihler Fabian Meier Lorenz Panny Andrei Popescu Christian Sternagel René Thiemann Dmitriy Traytel [github]

A Consistent Foundation for Isabelle/HOL Ondřej Kunčar Andrei Popescu [github]

Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving Dmitry Traytel Andrei Popescu Jasmin C. Blanchette [github]

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

[show logs] [hide logs]