A construction of type: type in Martin-Löf's partial type theory with one universe

Publisher： Cambridge University Press

E-ISSN： 1943-5886|56|3|1012-1015

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.56, Iss.3, 1991-09, pp. : 1012-1015

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 construction of non-well-founded sets within Martin-Löf's type theory

By  

The Journal of Symbolic Logic, Vol. 54, Iss. 1, 1989-03 ,pp. : 57-64

Cambridge University Press

Access to resources Recommend Favorite

An interpretation of Martin-Löf's type theory in a type-free theory of propositions

By  

The Journal of Symbolic Logic, Vol. 49, Iss. 3, 1984-09 ,pp. : 730-753

Cambridge University Press

Access to resources Recommend Favorite

The independence of Peano's fourth axiom from Martin-Löf's type theory without universes

By  

The Journal of Symbolic Logic, Vol. 53, Iss. 3, 1988-09 ,pp. : 840-845

Cambridge University Press

Access to resources Recommend Favorite

MARTIN-LÖF RANDOMNESS IN SPACES OF CLOSED SETS

By  

The Journal of Symbolic Logic, Vol. 80, Iss. 2, 2015-04 ,pp. : 359-383

Cambridge University Press

Access to resources Recommend Favorite

Braided Bialgebras of Type One

By Ardizzoni A.   Menini C.  

Communications in Algebra, Vol. 36, Iss. 11, 2008-11 ,pp. : 4296-4337

Taylor & Francis Ltd

Access to resources Recommend Favorite