Edge list
Results from
ConceptNet 5.8
Source:
English Wiktionary
Documentation
FAQ
Chat
Blog
Documentation
FAQ
Chat
Blog
en
curry howard correspondence
(
n
)
―
RelatedTo
⟶
Weight: 1.0
en
functional programming
Source:
English Wiktionary
en
curry howard correspondence
(
n
)
―
RelatedTo
⟶
Weight: 1.0
en
analogy
Source:
English Wiktionary
en
curry howard correspondence
(
n
)
―
RelatedTo
⟶
Weight: 1.0
en
thesis
Source:
English Wiktionary
en
curry howard correspondence
(
n
)
―
RelatedTo
⟶
Weight: 1.0
en
type
Source:
English Wiktionary
en
curry howard correspondence
(
n
)
―
RelatedTo
⟶
Weight: 1.0
en
constructive logic
Source:
English Wiktionary
en
curry howard correspondence
(
n
)
―
RelatedTo
⟶
Weight: 1.0
en
program
Source:
English Wiktionary
en
curry howard correspondence
(
n
)
―
RelatedTo
⟶
Weight: 1.0
en
function
Source:
English Wiktionary
en
curry howard correspondence
(
n
)
―
RelatedTo
⟶
Weight: 1.0
en
correspondence
Source:
English Wiktionary
en
curry howard correspondence
(
n
)
―
RelatedTo
⟶
Weight: 1.0
en
proof
Source:
English Wiktionary
en
curry howard correspondence
(
n
)
―
RelatedTo
⟶
Weight: 1.0
en
typed
Source:
English Wiktionary
en
curry howard correspondence
(
n
)
―
RelatedTo
⟶
Weight: 1.0
en
formula
Source:
English Wiktionary