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 5 - GeneraCodice
Relation between Hoare Type Theory and pointers
https://www.generacodice.com/en/articolo/1589626/relation-between-hoare-type-theory-and-pointers
type-theory
-
hoare-logic
-
dependent-types
cs.stackexchange
partial (and non deterministic) functions in dependently typed lambda calculus
https://www.generacodice.com/en/articolo/1583425/partial-and-non-deterministic-functions-in-dependently-typed-lambda-calculus
type-theory
-
dependent-types
cs.stackexchange
Domain Theory and Polymorphism
https://www.generacodice.com/en/articolo/1577144/domain-theory-and-polymorphism
computability
-
type-theory
-
dependent-types
cs.stackexchange
if (λ x . x x) has a type, then is the type system inconsistent?
https://www.generacodice.com/en/articolo/1575958/if-λ-x-x-x-has-a-type-then-is-the-type-system-inconsistent
lambda-calculus
-
dependent-types
cs.stackexchange
Is it possible to prevent arithmetic errors with a dependent type system?
https://www.generacodice.com/en/articolo/1570047/is-it-possible-to-prevent-arithmetic-errors-with-a-dependent-type-system
functional-programming
-
programming-languages
-
dependent-types
cs.stackexchange
Is there any difference between extensible records and dependent maps
https://www.generacodice.com/en/articolo/1569996/is-there-any-difference-between-extensible-records-and-dependent-maps
type-theory
-
dependent-types
cs.stackexchange
About the Identity function in Agda
https://www.generacodice.com/en/articolo/1567955/about-the-identity-function-in-agda
dependent-types
cs.stackexchange
Examples of Dependent Types
https://www.generacodice.com/en/articolo/1567880/examples-of-dependent-types
dependent-types
cs.stackexchange
Indexing a dependent type on a value?
https://www.generacodice.com/en/articolo/1567524/indexing-a-dependent-type-on-a-value
type-theory
-
dependent-types
cs.stackexchange
Family of types in type theory
https://www.generacodice.com/en/articolo/1567437/family-of-types-in-type-theory
type-theory
-
dependent-types
cs.stackexchange
«
2
3
4
5
6
7
»
Results found: 89