Report - LA TEORIA DEI TIPI - math.unipd.itmaietti/papers/tyt.pdf · la rappresentazione intensionale del tipo dell’uguaglianza proposizionale nella teoria dei tipi di Martin-L of ha permesso

Please pass captcha verification before submit form