An Application of Category-Theoretic Semantics to the Characterisation of Complexity Classes Using Higher-Order Function Algebras

Publisher： Cambridge University Press

E-ISSN： 1943-5894|3|4|469-486

ISSN： 1079-8986

Source： Bulletin of Symbolic Logic, Vol.3, Iss.4, 1997-12, pp. : 469-486

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

Higher-order semantics and extensionality

By  

The Journal of Symbolic Logic, Vol. 69, Iss. 4, 2004-12 ,pp. : 1027-1088

Cambridge University Press

Access to resources Recommend Favorite

Representation theory of the higher-order peak algebras

By Novelli Jean-Christophe   Saliola Franco   Thibon Jean-Yves  

Journal of Algebraic Combinatorics, Vol. 32, Iss. 4, 2010-12 ,pp. : 465-495

Springer Publishing Company

Access to resources Recommend Favorite

THE DISCRETENESS OF SPECTRUM FOR HIGHER-ORDER DIFFERENTIAL OPERATORS IN WEIGHTED FUNCTION SPACES

By  

Bulletin of the Australian Mathematical Society, Vol. 86, Iss. 3, 2012-08 ,pp. : 370-376

Cambridge University Press

Access to resources Recommend Favorite

Categorical semantics for higher order polymorphic lambda calculus

By  

The Journal of Symbolic Logic, Vol. 52, Iss. 4, 1987-12 ,pp. : 969-989

Cambridge University Press

Access to resources Recommend Favorite