research
∙
04/25/2023
Finitely accessible arboreal adjunctions and Hintikka formulae
Arboreal categories provide an axiomatic framework in which abstract not...
research
∙
03/14/2019
A Functional (Monadic) Second-Order Theory of Infinite Trees
This paper presents a complete axiomatization of Monadic Second-Order Lo...
research
∙
03/23/2018