Publications

of Mathieu Boespflug

Articles in journal, book chapters

  1. Mathieu Boespflug. TaiChi:how to check your types with serenity. The Monad.Reader, 9:17-31, November 2007. Keyword(s): type systems.

BACK TO INDEX