Bram Westerbaan

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 2

Top Topics

Probabilistic Automata

Interactive Theorem Proving

Top Venues

Publications

Bram Westerbaan, Bas Westerbaan, Rutger Kuyper, Carst Tankink, Remy Viehoff, Henk Barendregt
Statman's Hierarchy Theorem. Log. Methods Comput. Sci. 13 (4) (2017)
Bram Westerbaan, Bas Westerbaan, Rutger Kuyper, Carst Tankink, Remy Viehoff, Henk Barendregt
Statman's Hierarchy Theorem. CoRR (2017)
Bart Jacobs, Bram Westerbaan
An Effect-Theoretic Account of Lebesgue Integration. MFPS (2015)
Kenta Cho, Bart Jacobs, Bas Westerbaan, Bram Westerbaan
Quotient-Comprehension Chains. CoRR (2015)
Bart Jacobs, Bas Westerbaan, Bram Westerbaan
States of Convex Sets. FoSSaCS (2015)
Henning Kerstan, Barbara König, Bram Westerbaan
Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions. CMCS (2014)
Alexandra Silva, Bram Westerbaan
A Coalgebraic View of ε-Transitions. CALCO (2013)