Author: Uustalu
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.272, Iss.1, 2002-02, pp. : 315-339
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Intuitionistic and classical natural deduction systems with the catch and the throw rules
By Sato M.
Theoretical Computer Science, Vol. 175, Iss. 1, 1997-03 ,pp. :
Experiments in linear natural deduction
Theoretical Computer Science, Vol. 176, Iss. 1, 1997-04 ,pp. :
Peirce's Rule in Natural Deduction
Theoretical Computer Science, Vol. 275, Iss. 1, 2002-03 ,pp. :
On the greatest fixed point of a set functor
Theoretical Computer Science, Vol. 150, Iss. 1, 1995-10 ,pp. :