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 inductive-datatypes - This is page 3 - GeneraCodice
Do Self Types make the Calculus of Inductive Constructions obsolete?
https://www.generacodice.com/en/articolo/1560871/do-self-types-make-the-calculus-of-inductive-constructions-obsolete
functional-programming
-
type-theory
-
lambda-calculus
-
inductive-datatypes
cs.stackexchange
How to understand equivalence of indexes of a family of types that are not definitionally equal
https://www.generacodice.com/en/articolo/1544469/how-to-understand-equivalence-of-indexes-of-a-family-of-types-that-are-not-definitionally-equal
programming-languages
-
type-theory
-
inductive-datatypes
-
dependent-types
-
homotopy-type-theory
cs.stackexchange
How can finite sets be represented as a type?
https://www.generacodice.com/en/articolo/1527671/how-can-finite-sets-be-represented-as-a-type
type-theory
-
inductive-datatypes
-
sets
cs.stackexchange
Is this a well founded inductive type? Can I express this in Coq?
https://www.generacodice.com/en/articolo/1494202/is-this-a-well-founded-inductive-type-can-i-express-this-in-coq
type-theory
-
coq
-
inductive-datatypes
-
dependent-types
cs.stackexchange
Polymorphism and Inductive datatypes
https://www.generacodice.com/en/articolo/1092870/polymorphism-and-inductive-datatypes
logic
-
programming-languages
-
coq
-
inductive-datatypes
cs.stackexchange
«
1
2
3
4
»
Results found: 33