Mathias Ormstrup Bjerregaard

According to our database, Mathias Ormstrup Bjerregaard authored at least 1 paper in 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2015

Type Inference for Session Types in the π-calculus.

Eva Fajstrup Graversen, Jacob Buchreitz Harbo, Hans Hüttel, Mathias Ormstrup Bjerregaard, Niels Sonnich Poulsen, Sebastian A. Wahl

Proceedings of the Web Services, Formal Methods, and Behavioral Types, 2015