bibliographer - Richard Statman

bibliographer a curated TCS bibliography

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

On Statman's Finite Completeness Theorem Richard Statman Gilles Dowek [github]

On sets of terms with a given intersection type Richard Statman Andrew Polonsky [github]

Products in a Category with Only One Object Richard Statman [github]

The typed łambda-calculus is not elementary recursive Richard Statman [github]

Intuitionistic propositional logic is polynomial-space complete Richard Statman [github]

On Statman's Finite Completeness Theorem Richard Statman Gilles Dowek [github]

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

[show logs] [hide logs]