bibliographer - Colin Riba

bibliographer a curated TCS bibliography

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

A Functional (Monadic) Second-Order Theory of Infinite Trees Anupam Das Colin Riba [github]

A Curry-Howard Approach to Church's Synthesis Pierre Pradic Colin Riba [github]

A Curry-Howard Approach to Church's Synthesis Pierre Pradic Colin Riba [github]

A Dialectica-Like Interpretation of a Linear MSO on Infinite Words Pierre Pradic Colin Riba [github]

Advanced Topics in Semantics of Programming Languages Pierre Clairambault Colin Riba [github]

LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic Pierre Pradic Colin Riba [github]

On the Representation of Stream Functions in Denotational Domains Colin Riba [github]

A model theoretic proof of completeness of an axiomatization of monadic second-order logic on infinite words Colin Riba [github]

Forcing MSO on Infinite Words in Weak MSO Colin Riba [github]

Forcing MSO on Infinite Words in Weak MSO Colin Riba [github]

Type-Based Termination with Sized Products Gilles Barthe Benjamin Grégoire Colin Riba [github]

Monoidal-closed categories of tree automata Colin Riba [github]

LMSO Pierre Pradic Colin Riba [github]

Library Size: 13G (13 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]