Type Theory

[Revised entry by Thierry Coquand on March 30, 2014. Changes to: Main text, Bibliography] The topic of type theory is fundamental both in logic and computer science. We limit ourselves here to
Philosophy News image
[Revised entry by Thierry Coquand on March 30, 2014. Changes to: Main text, Bibliography] The topic of type theory is fundamental both in logic and computer science. We limit ourselves here to sketch some aspects that are important in logic. For the importance of types in computer science, we refer the reader for instance to Reynolds 1983 and 1985....

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus