bibliographer a curated TCS bibliography
  • obsidian
  • tags
  • authors
  • no doi
  • no pdf
  • bad author
  • add item
  • librarian

Bijective proofs for Eulerian numbers in types B and D Luigi Santocanale [github]
Ambiguous classes in mu-calculi hierarchies Luigi Santocanale André Arnold [github]
Fixed-point elimination in the intuitionistic propositional calculus Silvio Ghilardi Maria Joao Gouveia Luigi Santocanale [github]
-Bicomplete Categories and Parity Games Luigi Santocanale [github]

Library Size: 13G (4 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge
[show logs] [hide logs]