Author:
Benzmüller Christoph,Paulson Lawrence C.
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Logic
Reference30 articles.
1. Andrews P.B.: General models and extensionality. J. Symb. Logic 37, 395–397 (1972)
2. Andrews P.B.: General models, descriptions, and choice in type theory. J. Symb. Logic 37, 385–394 (1972)
3. Andrews P.B.: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, 2nd edn. Kluwer, Dordrecht (2002)
4. Andrews, P.B.: Church’s type theory. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Center for the Study of Language and Information, Stanford University (2009). http://plato.stanford.edu/archives/spr2009/entries/type-theory-church/
5. Andrews P.B., Brown C.E.: TPS: a hybrid automatic-interactive system for developing proofs. J. Appl. Logic 4(4), 367–395 (2006)
Cited by
46 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献