Mentions légales du service

Skip to content
I

ITDI

Project ID: 38284

Coq Implementation of Intrinsically Typed Definitional Interpreter in the style of Poulsen et al.