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 curry-howard - This is page 2 - GeneraCodice
Implementing mathematical theory of arithmetic in Haskell via Curry-Howard correspondence
https://www.generacodice.com/en/articolo/1595355/implementing-mathematical-theory-of-arithmetic-in-haskell-via-curry-howard-correspondence
logic
-
haskell
-
curry-howard
-
propositional-logic
cs.stackexchange
Why algorithms calculating non-tirivial zeros can't be used as proofs of Riemann Hypothesis?
https://www.generacodice.com/en/articolo/1592842/why-algorithms-calculating-non-tirivial-zeros-can-t-be-used-as-proofs-of-riemann-hypothesis
first-order-logic
-
curry-howard
-
proof-techniques
-
propositional-logic
-
mathematical-foundations
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
How logic programming (especially ASP) is related to the reasoning in (first-order) logic?
https://www.generacodice.com/en/articolo/1590617/how-logic-programming-especially-asp-is-related-to-the-reasoning-in-first-order-logic
logic
-
lambda-calculus
-
first-order-logic
-
curry-howard
-
answer-set-programming
cs.stackexchange
Can lambda-calculus be used for knowledge representation?
https://www.generacodice.com/en/articolo/1586837/can-lambda-calculus-be-used-for-knowledge-representation
lambda-calculus
-
curry-howard
-
knowledge-representation
-
computational-linguistics
cs.stackexchange
Can a type system serve as a proof assistant for foreign functions?
https://www.generacodice.com/en/articolo/1580593/can-a-type-system-serve-as-a-proof-assistant-for-foreign-functions
type-theory
-
curry-howard
-
proof-assistants
cs.stackexchange
forall a b, a -> b [duplicate]
https://www.generacodice.com/en/articolo/1580079/forall-a-b-a-b-duplicate
type-theory
-
curry-howard
cs.stackexchange
Why Church-encoded types aren't sufficient to express inductive proofs?
https://www.generacodice.com/en/articolo/1579209/why-church-encoded-types-aren-t-sufficient-to-express-inductive-proofs
functional-programming
-
curry-howard
-
proof-techniques
-
automated-theorem-proving
cs.stackexchange
Is there an isomorphism between (subset of) category theory and relational algebra?
https://www.generacodice.com/en/articolo/1578654/is-there-an-isomorphism-between-subset-of-category-theory-and-relational-algebra
relational-algebra
-
category-theory
-
curry-howard
cs.stackexchange
Uses of the type Unit
https://www.generacodice.com/en/articolo/1567380/uses-of-the-type-unit
lambda-calculus
-
curry-howard
cs.stackexchange
«
1
2
3
4
»
Results found: 38