Typage des PTS

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