3 ms·
as per the curry howard isomorphism (programs as proofs), there is no difference, except that a few symbols are arbitrarilly bound but without loss of generalit
by posterboy 10y ago
as per the curry howard isomorphism (programs as proofs), there is no difference, except that a few symbols are arbitrarilly bound but without loss of generality (as could be proven by induction).