CloseClose

 Encyclopedia.com -- Online dictionary and encyclopedia of facts, information, and biographies
Close window

WVOQ #69 Willard Van Orman Quine - cleancut

http://www-groups.dcs.st-and.ac.uk/~history/Printonly/Quine.html - Structural cut elimination I. intuitionistic and classical logic. Information and Computation, 157(1/2):84141, March 2000.[Pol95] Robert Pollack.A verified typechecker. In M.Dezani-Ciancaglini and G.Plotkin, editors, Proceedings of the Second International Conference on Typed Lambda Calculi and Applications, TLCA95, Edinburgh, volume 902 of LNCS. Springer-Verlag, April 1995. Page 16 16 [Qui62] Willard Van Orman Quine. Mathematical Logic. Harper and Row, 1962. [Rid] Tom Ridge. Informatics homepage. http://homepages.inf.ed.ac.uk/s0128214/. [Sha94] N. Shankar. Metamathematics, Machines, and Godels Proof. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cam-bridge, UK, 1994. http://www.csl.sri.com/users/shankar/goedel-book.html. [T.F92] T.F. Melham. The HOL logic extended with quantification over type variables. In L.J.M. Claesen and

Close

For your enjoyment and convenience, YouTube videos are automatically associated with content at Encyclopedia.com. Because videos come directly from YouTube, we cannot endorse their accuracy, content, or quality. However, we hope you find them useful or entertaining while using Encyclopedia.com.

More YouTube videos About these videos

Close window