All links of Programming Libraries

Church-Turing ThesisChurch-Turing Thesis
Alonzo ChurchAlonzo Church
The Need for Abstract EntitiesThe Need for Abstract Entities
The Bulletin of Symbolic Logic, December 1995The Bulletin of Symbolic Logic, December 1995

Programming Libraries related site: