Research Group TYPES -- CRIN-CNRS and INRIA-Lorraine

Type theories, Proof search, Computational aspects of proof theory

Publications of the group

This document is under construction. You can access to publications via the personal home page of the members of the group.

Further informations or contact: