Skip to search formSkip to main contentSkip to account menu

Subject reduction

Known as: Type-preservation, Subject evaluation, Type preservation 
In type theory, a type system has the property of subject reduction (also subject evaluation, type preservation or simply preservation) if evaluation… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
Expression (computer science)Information and ComputationPOPLmark challengeType safety

Broader (1)

Type theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
MODELLING THE IMPACT OF RADIATIVE HEAT LOSS ON CO2 EMISSION, O2 DEPLETION AND THERMAL STABILITY IN A REACTIVE SLAB
In this paper, we examine the effects of thermal radiation on CO2 emission and O2 depletion in an exothermic reactive slab of… 
Highly Cited
2004
Highly Cited
2004
Slightly ∞-Continuous Functions
The purpose of this paper is to give a new weak form of some types of continuity generalizing strongly fi-irresoluteness, fi… 
1996
1996
Integrals of Set-Valued Functions with a Countable Range
Approximate versions, both of Lyapunov-type results on the compactness and convexity of the integral of a correspondence, and… 
1995
1995
The S-calculus: Its Typed and Its Extended Versions
We present in this paper the simply typed version of the s-calculus (cf. KR95]) and prove the strong normalisation of the well… 
Review
1995
Review
1995
Public attitudes and economic values for wetland preservation in New England
Wetland preservation produces two types of economic value: use value and nonuse (existence) value. Previous studies have focused… 
1991
1991
Ebb-Tidal Delta Deposits Along the West Frisian Islands (The Netherlands): Processes, Facies Architecture and Preservation
Abstract The morphologies of the ebb-tidal deltas of Texel, Terschelling and Ameland inlets and the resulting sand transport… 
1986
1986
Building Performance: Function, Preservation, and Rehabilitation
Review
1985
Review
1985
Hawai'i's terrestrial ecosystems : preservation and management : proceedings of a symposium held June 5-6, 1984 at Hawai'i Volcanoes National Park
3 Introduction 4 Methods 6 Background on Hawai'i Forest Bird Survey 6 Vegetation Mapping 8 Assessment of Status of Native… 
Highly Cited
1968
Highly Cited
1968
Organ perfusion and preservation
1953
1953
Experimental vascular grafts: an evaluation relating to types, means of preservation, and methods of suture in the growing pig.
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)