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