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 dependent-types - This is page 1 - GeneraCodice
Why does Coq include let-expressions in its core language
https://www.generacodice.com/en/articolo/1620500/why-does-coq-include-let-expressions-in-its-core-language
type-theory
-
coq
-
type-checking
-
dependent-types
cs.stackexchange
What does canonicity property mean in Type Theory?
https://www.generacodice.com/en/articolo/1616278/what-does-canonicity-property-mean-in-type-theory
type-theory
-
dependent-types
-
homotopy-type-theory
-
cubical-type-theory
cs.stackexchange
Why values can not be replaced with their extensionally equal values in an intensional system?
https://www.generacodice.com/en/articolo/1616148/why-values-can-not-be-replaced-with-their-extensionally-equal-values-in-an-intensional-system
equality
-
type-theory
-
dependent-types
cs.stackexchange
Definition of extensional and propositional equality in Martin-Lof extensional type theory
https://www.generacodice.com/en/articolo/1616107/definition-of-extensional-and-propositional-equality-in-martin-lof-extensional-type-theory
equality
-
type-theory
-
dependent-types
cs.stackexchange
Definitional equality of two propositions about propositional equality
https://www.generacodice.com/en/articolo/1616076/definitional-equality-of-two-propositions-about-propositional-equality
equality
-
type-theory
-
dependent-types
cs.stackexchange
What untyped term inhabits induction on natural numbers in CoC?
https://www.generacodice.com/en/articolo/1615307/what-untyped-term-inhabits-induction-on-natural-numbers-in-coc
type-theory
-
lambda-calculus
-
dependent-types
-
calculus-of-constructions
cs.stackexchange
Propositional truncation of excluded middle
https://www.generacodice.com/en/articolo/1615027/propositional-truncation-of-excluded-middle
agda
-
dependent-types
-
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
Dependent type system with different computation model
https://www.generacodice.com/en/articolo/1608087/dependent-type-system-with-different-computation-model
type-theory
-
reference-request
-
dependent-types
cs.stackexchange
Where are C++ templates inside of the lambda cube?
https://www.generacodice.com/en/articolo/1607688/where-are-c-templates-inside-of-the-lambda-cube
c++
-
programming-languages
-
type-theory
-
dependent-types
-
calculus-of-constructions
cs.stackexchange
«
1
2
3
4
5
6
»
Results found: 89