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 4 - GeneraCodice
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
Union of fixed and floating point types
https://www.generacodice.com/en/articolo/1597778/union-of-fixed-and-floating-point-types
floating-point
-
typing
-
dependent-types
-
numerical-algorithms
cs.stackexchange
How to derive dependently typed eliminators?
https://www.generacodice.com/en/articolo/1597439/how-to-derive-dependently-typed-eliminators
recursion
-
type-theory
-
reference-request
-
inductive-datatypes
-
dependent-types
cs.stackexchange
Can we add dependent type into an existing imperative programming language?
https://www.generacodice.com/en/articolo/1591983/can-we-add-dependent-type-into-an-existing-imperative-programming-language
imperative-programming
-
dependent-types
cs.stackexchange
What are the rules for positive recursive types in dependent type theory?
https://www.generacodice.com/en/articolo/1591743/what-are-the-rules-for-positive-recursive-types-in-dependent-type-theory
type-theory
-
reference-request
-
dependent-types
cs.stackexchange
Is implication(function) more fundamental than lets say conjunction(product) in type theory?
https://www.generacodice.com/en/articolo/1591445/is-implication-function-more-fundamental-than-lets-say-conjunction-product-in-type-theory
type-theory
-
curry-howard
-
dependent-types
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
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
«
1
2
3
4
5
6
»
Results found: 89