Curry–Howard correspondence ^{الإنجليزية} (Q1195019)

the direct relationship between computer programs and mathematical proofs ^{الإنجليزية}

اللغة	التسمية	الوصف	أسماء أخرى
العربية	لم تُضف التسمية	لا يوجد وصف
الإنجليزية	Curry–Howard correspondence	the direct relationship between computer programs and mathematical proofs	Curry-Howard isomorphism Formulae-as-types correspondence Propositions as types principle Curry–Howard isomorphism Curry–Howard Curry-Howard Curry-Howard correspondence Curry-Howard equivalence Curry–Howard equivalence Propositions-as-types Formulae-as-types Programs-as-proofs Proofs-as-programs Proofs-as-programs interpretation Propositions-as-types interpretation propositions- equivalence