Glueing and orthogonality for models of linear logic

Author： Hyland M.   Schalk A.  

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.294, Iss.1, 2003-02, pp. : 183-231

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models

By Ferrari Mauro  

Journal of Automated Reasoning, Vol. 51, Iss. 2, 2013-08 ,pp. : 129-149

Springer Publishing Company

Access to resources Recommend Favorite

Proofs as computations in linear logic

By Delzanno G.   Martelli M.  

Theoretical Computer Science, Vol. 258, Iss. 1, 2001-05 ,pp. : 269-297

Elsevier

Access to resources Recommend Favorite

Operational interpretations of linear logic

By Turner D.N.   Wadler P.  

Theoretical Computer Science, Vol. 227, Iss. 1, 1999-09 ,pp. : 231-248

Elsevier

Access to resources Recommend Favorite

Interaction nets for linear logic

By Mackie I.  

Theoretical Computer Science, Vol. 247, Iss. 1, 2000-09 ,pp. : 83-140

Elsevier

Access to resources Recommend Favorite

On proof normalization in linear logic

By Perrier G.  

Theoretical Computer Science, Vol. 206, Iss. 1, 1998-10 ,pp. : 353-354

Elsevier

Access to resources Recommend Favorite