Concepedia

Mathieu Boespflug

MB

2

Publications

58

Citations

2

H-Index

2012

Active since

Affiliations

University of Gothenburg(Current)

Mathieu Boespflug is an author at University of Gothenburg specializing in automated reasoning, formal verification, and formal methods.

Top concepts

Publications per year

2012–2017

2

Publications

2

The λΠ-calculus Modulo as a Universal Proof Language.

Mathieu Boespflug, Quentin Carbonneaux, Olivier Hermant · HAL (Le Centre pour la Communication Scientifique Directe) · 2012 · 38 citations · Full text

Linear Haskell: practical linearity in a higher-order polymorphic language

Jean-Philippe Bernardy, Mathieu Boespflug, Ryan Newton et al. · arXiv (Cornell University) · 2017 · 20 citations · Full text

, , +16

Rows per page

1–2 of 2