Skip to content
Vinony
Category

1934 in computing

page 1
Curry–Howard correspondence
the direct relationship between computer programs and mathematical proofs