Curry howard correspondence

Origin: Latin suffix -ence

Definition, synonyms and related words

See Also

thesis program typed analogy formula proof function functional programming

Related Terms

thesis program typed analogy formula proof function functional programming correspondence type constructive logic

Rhyming Words

nce ance ince unce ence once vince sence ponce nance munce vance dunce hence bonce ounce nonce gance dance vonce

Compare