Joinet, J.-B., Schellinx, H. and Tortora de Falco, L. (199y) Strong normalization for Free Deduction and related formalizations of classical second order logic. Manuscript. 15 ISBN 3-909081-55-X  Home/Search   Document Not in Database   Context   Related Articles

This paper is cited by the following papers:

A New Deconstructive Logic: Linear Logic - Danos, Joinet, Schellinx (1997)   (46 citations)  Self-citation (Joinet Schellinx)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC