en
curry howard correspondence
An
English
term in
ConceptNet 5.8
Source:
English Wiktionary
View this term in the API
Documentation
FAQ
Chat
Blog
Documentation
FAQ
Chat
Blog
Related terms
en
analogy
➜
en
constructive logic
➜
en
correspondence
➜
en
formula
➜
en
function
➜
en
functional programming
➜
en
program
➜
en
proof
➜
en
thesis
➜
en
type
➜
en
typed
➜
Synonyms
en
curry howard isomorphism
➜
Derived from
en
howard
(
n
)
➜
Links to other resources
en.wiktionary.org
Curry-Howard correspondence