The Simply Typed Theory of beta-conversion Has No Maximum Extension

Author： Barbanera F.   Berardi S.  

Publisher： Academic Press

ISSN： 0890-5401

Source： Information and Computation, Vol.139, Iss.1, 1997-11, pp. : 57-61

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

Enhancing dependency pair method using strong computability in simply-typed term rewriting

By Kusakari Keiichirou  

Applicable Algebra in Engineering, Communication and Computing, Vol. 18, Iss. 5, 2007-10 ,pp. : 407-431

Springer Publishing Company

Access to resources Recommend Favorite

Extension of nonlinear Onsager theory of irreversibility

By Chen James  

Acta Mechanica, Vol. 224, Iss. 12, 2013-12 ,pp. : 3153-3158

Springer Publishing Company

Access to resources Recommend Favorite

A fully benzenoid system has a unique maximum cardinality resonant set

By Gutman Ivan  

Acta Applicandae Mathematicae, Vol. 112, Iss. 1, 2010-10 ,pp. : 15-19

Springer Publishing Company

Access to resources Recommend Favorite

Theory of the Surface Tension Maximum of Liquid 3He

By Misawa S.  

Journal of Low Temperature Physics, Vol. 125, Iss. 1-2, 2001-10 ,pp. : 49-58

Springer Publishing Company

Access to resources Recommend Favorite

Extension of the Theory of Volume Filling of Micropores to Adsorption in Supermicropores

By Polyakov N.   Petukhova G.  

Adsorption, Vol. 11, Iss. 3-4, 2005-07 ,pp. : 357-362

Springer Publishing Company

Access to resources Recommend Favorite