Search results for: Thomas Seiller
Annals of Pure and Applied Logic > 2017 > 168 > 2 > 278-320
Information and Computation > 2016 > 248 > C > 2-21
Annals of Pure and Applied Logic > 2016 > 167 > 2 > 95-154
Annals of Pure and Applied Logic > 2012 > 163 > 12 > 1808-1837