Extensional Σ-Spaces in Type Theory

Author： Reus B.  

Publisher： Springer Publishing Company

ISSN： 0927-2852

Source： Applied Categorical Structures, Vol.7, Iss.1-2, 1999-06, pp. : 159-183

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 Unified Convergence Theory for Newton-Type Methods for Zeros of Nonlinear Operators in Banach Spaces

By Wang X.  

Bit Numerical Mathematics, Vol. 42, Iss. 1, 2002-01 ,pp. : 206-213

Springer Publishing Company

Access to resources Recommend Favorite

Linear spaces of kinematic type

By Krym V.  

Journal of Mathematical Sciences, Vol. 100, Iss. 3, 2000-06 ,pp. : 2284-2296

Springer Publishing Company

Access to resources Recommend Favorite

The Equivalence Theory of Native Spaces

By Luh L-T.  

Approximation Theory and Its Applications, Vol. 17, Iss. 1, 2001-01 ,pp. : 76-96

Springer Publishing Company

Access to resources Recommend Favorite

The Embedding Theory of Native Spaces

By Luh L-T.  

Approximation Theory and Its Applications, Vol. 17, Iss. 4, 2001-01 ,pp. : 90-104

Springer Publishing Company

Access to resources Recommend Favorite

Mapping spaces and homotopy theory

By Booth Peter I.  

Quaestiones Mathematicae, Vol. 27, Iss. 4, 2004-12 ,pp. : 415-430

Taylor & Francis Ltd

Access to resources Recommend Favorite