univalence principle
principio di univalenza
demonstrating univalence
dimostrazione della univalenza
univalence condition
condizione di univalenza
maintaining univalence
mantenimento della univalenza
univalence property
proprietà di univalenza
with univalence
con univalenza
establishing univalence
stabilimento della univalenza
univalence analysis
analisi della univalenza
seeking univalence
ricerca della univalenza
based on univalence
basato sulla univalenza
the univalence property is crucial for understanding higher category theory.
La proprietà di univalenza è cruciale per comprendere la teoria delle categorie superiori.
we investigated the univalence axioms in the context of type theory.
abbiamo investigato gli assiomi di univalenza nel contesto della teoria dei tipi.
univalence allows for a more general notion of equality.
la univalenza permette una nozione più generale di uguaglianza.
the univalence condition simplifies certain calculations in homotopy type theory.
la condizione di univalenza semplifica certi calcoli nella teoria dei tipi omotopici.
we proved the univalence of the identity morphism.
abbiamo dimostrato la univalenza della morfismo identità.
univalence provides a powerful tool for reasoning about types.
la univalenza fornisce uno strumento potente per ragionare sui tipi.
the concept of univalence is central to higher-dimensional algebra.
il concetto di univalenza è centrale nell'algebra a dimensioni superiori.
we explored the implications of univalence for model checking.
abbiamo esplorato le implicazioni della univalenza per la verifica dei modelli.
univalence plays a significant role in the foundations of mathematics.
la univalenza svolge un ruolo significativo nelle fondamenta della matematica.
the univalence axioms are essential for constructing higher-order universes.
gli assiomi di univalenza sono essenziali per costruire universi di ordine superiore.
we studied the univalence of interval types.
abbiamo studiato la univalenza dei tipi intervallo.
univalence principle
principio di univalenza
demonstrating univalence
dimostrazione della univalenza
univalence condition
condizione di univalenza
maintaining univalence
mantenimento della univalenza
univalence property
proprietà di univalenza
with univalence
con univalenza
establishing univalence
stabilimento della univalenza
univalence analysis
analisi della univalenza
seeking univalence
ricerca della univalenza
based on univalence
basato sulla univalenza
the univalence property is crucial for understanding higher category theory.
La proprietà di univalenza è cruciale per comprendere la teoria delle categorie superiori.
we investigated the univalence axioms in the context of type theory.
abbiamo investigato gli assiomi di univalenza nel contesto della teoria dei tipi.
univalence allows for a more general notion of equality.
la univalenza permette una nozione più generale di uguaglianza.
the univalence condition simplifies certain calculations in homotopy type theory.
la condizione di univalenza semplifica certi calcoli nella teoria dei tipi omotopici.
we proved the univalence of the identity morphism.
abbiamo dimostrato la univalenza della morfismo identità.
univalence provides a powerful tool for reasoning about types.
la univalenza fornisce uno strumento potente per ragionare sui tipi.
the concept of univalence is central to higher-dimensional algebra.
il concetto di univalenza è centrale nell'algebra a dimensioni superiori.
we explored the implications of univalence for model checking.
abbiamo esplorato le implicazioni della univalenza per la verifica dei modelli.
univalence plays a significant role in the foundations of mathematics.
la univalenza svolge un ruolo significativo nelle fondamenta della matematica.
the univalence axioms are essential for constructing higher-order universes.
gli assiomi di univalenza sono essenziali per costruire universi di ordine superiore.
we studied the univalence of interval types.
abbiamo studiato la univalenza dei tipi intervallo.
Esplora il vocabolario più cercato
Vuoi imparare il vocabolario in modo più efficiente? Scarica l'app DictoGo e scopri altre funzionalità per memorizzare e ripassare il vocabolario!
Scarica DictoGo ora