bibliographer - Dmitriy Traytel

bibliographer a curated TCS bibliography

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

Formal Languages, Formally and Coinductively Dmitriy Traytel [github]

A Coalgebraic Decision Procedure for WS1S Dmitriy Traytel [github]

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]

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

[show logs] [hide logs]