Discussione:Teoria dei tipi intuizionista
Questa voce contiene una traduzione, completa o parziale, della voce originale:
«Intuitionistic type theory» tratta da Wikipedia in inglese.
La versione tradotta è la numero 919671066 del 5 ottobre 2019. Consulta la cronologia della pagina originale per conoscere l'elenco degli autori.
«Intuitionistic type theory» tratta da Wikipedia in inglese.
La versione tradotta è la numero 919671066 del 5 ottobre 2019. Consulta la cronologia della pagina originale per conoscere l'elenco degli autori.