Mathias Ormstrup Bjerregaard

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 1

Top Topics

Inference Process

Belief Networks

Top Venues

Publications

Eva Fajstrup Graversen, Jacob Buchreitz Harbo, Hans Hüttel, Mathias Ormstrup Bjerregaard, Niels Sonnich Poulsen, Sebastian A. Wahl
Type Inference for Session Types in the π-calculus. WS-FM (2015)