Home
Random
Log in
Settings
Donations
About Wiktionary
Disclaimers
Search
Curry-Howard isomorphism
Language
Watch
Edit
English
edit
Proper noun
edit
Curry
-
Howard
isomorphism
Synonym of
Curry-Howard correspondence
Categories
:
English lemmas
English proper nouns
English uncountable nouns
English multiword terms
English eponyms
Hidden categories:
English terms with non-redundant non-automated sortkeys
English entries with language name categories using raw markup