Report copyright - Beyond Pu re Type Sys tems - Semantic Scholar · 2015-07-29 · Beyond Pu re Type Sys tems MA P-i, Braga 20 07 1 ... ¥Henk Ba rendregt an d He rman Geuv ers. Proof-a ssistants using
Please pass captcha verification before submit form