Order-Sorted Inductive Types

ISSN： 0890-5401

Source： Information and Computation, Vol.149, Iss.1, 1999-02, pp. : 42-76

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

The Subtyping Problem for Second-Order Types Is Undecidable

By Tiuryn J. Urzyczyn P.

Information and Computation, Vol. 179, Iss. 1, 2002-11 ,pp. : 1-18

Academic Press

Access to resources Recommend Favorite

Elastocaloric Effect Associated with Different Types of Martensitic Transformations: Typical First‐Order and Weak First‐Order Ones

PHYSICA STATUS SOLIDI (B) BASIC SOLID STATE PHYSICS, Vol. 255, Iss. 2, 2018-02 ,pp. : n/a-n/a

John Wiley & Sons Inc

Access to resources Recommend Favorite

Five types of blow-up in a semilinear fourth-order reaction–diffusion equation: an analytic–numerical approach

By Galaktionov V A

Nonlinearity, Vol. 22, Iss. 7, 2009-07 ,pp. : 1695-1741

IOP Publishing

Access to resources Recommend Favorite

Inductive Construction of Repletion

By Streicher T.

Applied Categorical Structures, Vol. 7, Iss. 1-2, 1999-06 ,pp. : 185-207

Springer Publishing Company

Access to resources Recommend Favorite

Reflexivity of Inductive Limits

By Kucera Jan

Czechoslovak Mathematical Journal, Vol. 54, Iss. 1, 2004-03 ,pp. : 103-106

Springer Publishing Company

Access to resources Recommend Favorite