A partial functions version of Church's simple theory of types

Publisher： Cambridge University Press

E-ISSN： 1943-5886|55|3|1269-1291

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.55, Iss.3, 1990-09, pp. : 1269-1291

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

A formulation of the simple theory of types

By  

The Journal of Symbolic Logic, Vol. 5, Iss. 2, 1940-06 ,pp. : 56-68

Cambridge University Press

Access to resources Recommend Favorite

A formal theorem in Church's theory of types

By  

The Journal of Symbolic Logic, Vol. 7, Iss. 1, 1942-03 ,pp. : 28-33

Cambridge University Press

Access to resources Recommend Favorite

The hereditary partial effective functionals and recursion theory in higher types 1

By  

The Journal of Symbolic Logic, Vol. 49, Iss. 4, 1984-12 ,pp. : 1319-1332

Cambridge University Press

Access to resources Recommend Favorite

On the logic of theory change: Partial meet contraction and revision functions

By  

The Journal of Symbolic Logic, Vol. 50, Iss. 2, 1985-06 ,pp. : 510-530

Cambridge University Press

Access to resources Recommend Favorite

Enumerating Types of Boolean Functions

By  

Bulletin of Symbolic Logic, Vol. 15, Iss. 3, 2009-09 ,pp. : 273-299

Cambridge University Press

Access to resources Recommend Favorite