Pure type systems with more liberal rules

Publisher： Cambridge University Press

E-ISSN： 1943-5886|66|4|1561-1580

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.66, Iss.4, 2001-12, pp. : 1561-1580

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

On the rules of proof in the pure functional calculus of the first order

By  

The Journal of Symbolic Logic, Vol. 16, Iss. 2, 1951-06 ,pp. : 107-111

Cambridge University Press

Access to resources Recommend Favorite

A classification of intersection type systems

By  

The Journal of Symbolic Logic, Vol. 67, Iss. 1, 2002-03 ,pp. : 353-368

Cambridge University Press

Access to resources Recommend Favorite

More on an Erdős–Szekeres-Type Problem for Interior Points

By Wei Xianglin   Ding Ren  

Discrete & Computational Geometry, Vol. 42, Iss. 4, 2009-12 ,pp. : 640-653

Springer Publishing Company

Access to resources Recommend Favorite

CERTAIN MODULES WITH TWINING MAPS AND DECOMPOSITION RULES OF LITTELMANN TYPE

By Naito Satoshi  

Communications in Algebra, Vol. 30, Iss. 8, 2002-01 ,pp. : 3917-3934

Taylor & Francis Ltd

Access to resources Recommend Favorite

A sequent calculus formulation of type assignment with equality rules for the λβ-calculus

By  

The Journal of Symbolic Logic, Vol. 43, Iss. 4, 1978-12 ,pp. : 643-649

Cambridge University Press

Access to resources Recommend Favorite