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 2 - GeneraCodice
“Smallest set” term in the trees set definition
https://www.generacodice.com/en/articolo/1586699/smallest-set-term-in-the-trees-set-definition
notation
-
trees
-
inductive-datatypes
cs.stackexchange
Prefix encoding of algebraic data types
https://www.generacodice.com/en/articolo/1581787/prefix-encoding-of-algebraic-data-types
coding-theory
-
inductive-datatypes
-
encoding-scheme
cs.stackexchange
Example of inductive sets that are neither least nor greatest fixed point
https://www.generacodice.com/en/articolo/1580946/example-of-inductive-sets-that-are-neither-least-nor-greatest-fixed-point
logic
-
inductive-datatypes
cs.stackexchange
What is induction-induction?
https://www.generacodice.com/en/articolo/1573833/what-is-induction-induction
type-theory
-
induction
-
inductive-datatypes
cs.stackexchange
What kinds of problems are modeled by a recursive definition of a set of strings?
https://www.generacodice.com/en/articolo/1570413/what-kinds-of-problems-are-modeled-by-a-recursive-definition-of-a-set-of-strings
recursion
-
strings
-
inductive-datatypes
-
sets
-
mathematical-foundations
cs.stackexchange
Strict positivity
https://www.generacodice.com/en/articolo/1567506/strict-positivity
type-theory
-
inductive-datatypes
cs.stackexchange
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
«
1
2
3
4
»
Results found: 33