Typage des PTS
Sources en Coq
.
Transparents de l'exposé au Workshop TYPES'96, version
postscript
.