Author:
Aczel Peter,Gambino Nicola
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Peter Aczel, The Type Theoretic Interpretation of Constructive Set TheoryA. MacIntyre, L. Pacholski and J. Paris (eds.), Logic Colloquium’77, (North-Holland, Amsterdam, 1978).
2. Peter Aczel, The Type Theoretic Interpretation of Constructive Set Theory: Inductive Definitions, R.B. Barcan Marcus, G. J. W. Dorn and P. Weingartner (eds.) Logic, Methodology and Philosophy of Science, VII, (North-Holland, Amsterdam, 1986).
3. Peter Aczel, Notes on Constructive Set Theory, Draft manuscript. Available at http://www.cs.man.ac.uk/~petera , 1997.
4. Lect Notes Comput Sci;P. Aczel,1999
5. Peter Aczel, The Russell-Prawitz Modality, Mathematical Structures in Computer Science, vol. 11, (2001) 1–14.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献