en
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Full articles
Categories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
You write
User
Login
Registration
Password recovery
Tags
Language tags
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag homotopy-type-theory - This is page 2 - GeneraCodice
How is functional property guaranteed in type theory when function type is defined?
https://www.generacodice.com/en/articolo/1613597/how-is-functional-property-guaranteed-in-type-theory-when-function-type-is-defined
type-theory
-
homotopy-type-theory
cs.stackexchange
Proof that type does not have decidable equality in Agda
https://www.generacodice.com/en/articolo/1611389/proof-that-type-does-not-have-decidable-equality-in-agda
agda
-
homotopy-type-theory
-
cubical-type-theory
cs.stackexchange
Identity types and universes
https://www.generacodice.com/en/articolo/1608300/identity-types-and-universes
type-theory
-
dependent-types
-
homotopy-type-theory
cs.stackexchange
What should we return when pattern matching on a Higher Indutive Type and the case is a Path?
https://www.generacodice.com/en/articolo/1607328/what-should-we-return-when-pattern-matching-on-a-higher-indutive-type-and-the-case-is-a-path
homotopy-type-theory
-
cubical-type-theory
-
higher-inductive-types
cs.stackexchange
Interval extensionality?
https://www.generacodice.com/en/articolo/1604650/interval-extensionality
homotopy-type-theory
cs.stackexchange
Why is reflexivity enough in this HoTT formulation of quotient types?
https://www.generacodice.com/en/articolo/1604393/why-is-reflexivity-enough-in-this-hott-formulation-of-quotient-types
homotopy-type-theory
cs.stackexchange
Flawed argument in the proof of function extensionality in cubical type theory?
https://www.generacodice.com/en/articolo/1602321/flawed-argument-in-the-proof-of-function-extensionality-in-cubical-type-theory
type-theory
-
homotopy-type-theory
cs.stackexchange
Show how lack of universe levels would create contradiction in homotopy type theory (in Agda)
https://www.generacodice.com/en/articolo/1599819/show-how-lack-of-universe-levels-would-create-contradiction-in-homotopy-type-theory-in-agda
dependent-types
-
homotopy-type-theory
cs.stackexchange
Continuing the example of why it's hard to compute with univalence?
https://www.generacodice.com/en/articolo/1591318/continuing-the-example-of-why-it-s-hard-to-compute-with-univalence
homotopy-type-theory
cs.stackexchange
Reducing products in HoTT to church/scott encodings
https://www.generacodice.com/en/articolo/1590471/reducing-products-in-hott-to-church-scott-encodings
type-theory
-
type-checking
-
dependent-types
-
homotopy-type-theory
cs.stackexchange
«
1
2
3
4
»
Results found: 36