3 ms·
"N-bit theory to prove that an N-bit program" Am I the only one who thought of Curry-Howard correspondence?
by equalunique 10y ago
"N-bit theory to prove that an N-bit program"
Am I the only one who thought of Curry-Howard correspondence?
loading thread…