ConceptNet 5: Query results

en curry howard correspondence ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en functional programming	Source: English Wiktionary
en curry howard correspondence ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en analogy	Source: English Wiktionary
en curry howard correspondence ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en thesis	Source: English Wiktionary
en curry howard correspondence ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en type	Source: English Wiktionary
en curry howard correspondence ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en constructive logic	Source: English Wiktionary
en curry howard correspondence ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en program	Source: English Wiktionary
en curry howard correspondence ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en function	Source: English Wiktionary
en curry howard correspondence ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en correspondence	Source: English Wiktionary
en curry howard correspondence ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en proof	Source: English Wiktionary
en curry howard correspondence ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en typed	Source: English Wiktionary
en curry howard correspondence ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en formula	Source: English Wiktionary