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 1 - GeneraCodice
In Agda's GADT, is “parameterized” and “indexed” different semantically?
https://www.generacodice.com/en/articolo/1603495/in-agda-s-gadt-is-parameterized-and-indexed-different-semantically
agda
-
inductive-datatypes
cs.stackexchange
Finite list induction principle and the tail eliminator
https://www.generacodice.com/en/articolo/1601971/finite-list-induction-principle-and-the-tail-eliminator
inductive-datatypes
-
dependent-types
cs.stackexchange
Restrictions needed on ADT for totality
https://www.generacodice.com/en/articolo/1599933/restrictions-needed-on-adt-for-totality
type-theory
-
inductive-datatypes
-
abstract-data-types
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
In Coq, what does it mean to have an inductive type where the right-hand side of “:” is Prop?
https://www.generacodice.com/en/articolo/1589344/in-coq-what-does-it-mean-to-have-an-inductive-type-where-the-right-hand-side-of-is-prop
coq
-
inductive-datatypes
cs.stackexchange
“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
«
1
2
3
4
»
Results found: 33