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.
Inizia una discussione su Teoria dei tipi intuizionista
Le pagine di discussione sono spazi dove le persone si confrontano su come rendere migliori i contenuti di Wikipedia. Puoi usare questa pagina per iniziare una nuova discussione con gli altri utenti su come migliorare Teoria dei tipi intuizionista.
