Skip to content
Vinony
Category

1958 in computing

page 1
Curry–Howard correspondence
the direct relationship between computer programs and mathematical proofs
EDSAC 2
early computer from 1958