Post on 18-Jun-2020
Mathematical Structures in Computer Sciencehttp://journals.cambridge.org/MSC
Additional services for Mathematical Structures in Computer Science:
Email alerts: Click hereSubscriptions: Click hereCommercial reprints: Click hereTerms of use : Click here
Constructive natural deduction and its ‘ω-set’ interpretation
Giuseppe Longo and Eugenio Moggi
Mathematical Structures in Computer Science / Volume 1 / Issue 02 / July 1991, pp 215 - 254DOI: 10.1017/S0960129500001298, Published online: 04 March 2009
Link to this article: http://journals.cambridge.org/abstract_S0960129500001298
How to cite this article:Giuseppe Longo and Eugenio Moggi (1991). Constructive natural deduction and its ‘ω-set’ interpretation. MathematicalStructures in Computer Science, 1, pp 215-254 doi:10.1017/S0960129500001298
Request Permissions : Click here
Downloaded from http://journals.cambridge.org/MSC, IP address: 192.153.213.50 on 17 Sep 2015
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50
http://journals.cambridge.org Downloaded: 17 Sep 2015 IP address: 192.153.213.50