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 type-theory - This is page 41 - GeneraCodice
Can coq express its own metatheory?
https://www.generacodice.com/en/articolo/1516907/can-coq-express-its-own-metatheory
type-theory
-
coq
-
dependent-types
cs.stackexchange
Does modern type theory include specifications and implementations?
https://www.generacodice.com/en/articolo/1516207/does-modern-type-theory-include-specifications-and-implementations
terminology
-
type-theory
cs.stackexchange
What is $Prop$ in the calculus of constructions?
https://www.generacodice.com/en/articolo/1515833/what-is-prop-in-the-calculus-of-constructions
terminology
-
type-theory
-
lambda-calculus
-
dependent-types
cs.stackexchange
Can I have a “dependent coproduct type”?
https://www.generacodice.com/en/articolo/1515795/can-i-have-a-dependent-coproduct-type
type-theory
-
dependent-types
-
homotopy-type-theory
cs.stackexchange
Type inference + overloading
https://www.generacodice.com/en/articolo/1496049/type-inference-overloading
type-inference
-
type-theory
cs.stackexchange
What does Tarski's Fixed-Point theorem give us that that Y-Combinator does't
https://www.generacodice.com/en/articolo/1495701/what-does-tarski-s-fixed-point-theorem-give-us-that-that-y-combinator-does-t
recursion
-
type-theory
-
lambda-calculus
-
lattices
-
partial-order
cs.stackexchange
Role of Term Constants in Simply Typed Lambda Calculus
https://www.generacodice.com/en/articolo/1495074/role-of-term-constants-in-simply-typed-lambda-calculus
type-theory
-
lambda-calculus
cs.stackexchange
Verify the type of a lambda expression
https://www.generacodice.com/en/articolo/1494924/verify-the-type-of-a-lambda-expression
type-theory
-
lambda-calculus
cs.stackexchange
Dependent types vs refinement types
https://www.generacodice.com/en/articolo/1494254/dependent-types-vs-refinement-types
functional-programming
-
terminology
-
programming-languages
-
type-theory
-
dependent-types
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
«
38
39
40
41
42
43
»
Results found: 484