Skip to search formSkip to main contentSkip to account menu

System U

Known as: Girard's paradox, System U− 
In mathematical logic, System U and System U− are pure type systems, i.e. special forms of a typed lambda calculus with an arbitrary number of sorts… 
Wikipedia (opens in a new tab)

Related topics

Related topics

12 relations
Curry–Howard correspondenceFirst-class functionIntuitionistic type theoryKind (type theory)

Broader (2)

Lambda calculusType theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Oscillation theorems for linear matrix Hamiltonian systems
2014
2014
The Role of Information System in Hospital Management and its Developing Process
Information system of a good quality is a basic req uirement for effective management of the hospital. There are more… 
2011
2011
DYNAMIC PARAMETER ESTIMATION OF A NONLINEAR VESSEL STEERING MODEL FOR OCEAN NAVIGATION
In this paper the stochastic parameters describing the nonlinear ocean vessel steering model are identified, resorting to an… 
2011
2011
39.2: Polarization Conversion System Using a Polymer Polarization Grating
We describe a new Polarization Conversion System (PCS) concept, particularly well suited for pico‐projectors, employing a polymer… 
2007
2007
Conodont (U–Th)/He thermochronology: Initial results, potential, and problems
2000
2000
Adaptive control for feedback-linearized missiles with uncertainties
A robust adaptive control scheme is proposed that can be applied to a practical autopilot design for feedback-linearized skid-to… 
1996
1996
Orderly Thinking about a Chaotic System.
This chapter examines the ways in which community college policy makers at all levels can come to understand the diversity of… 
1994
1994
An Inconsistencies Tolerant Approach In The Fault Diagnosis Of Telecommunications Networks
Sinergia is an Expert !System for the isolation and diagnosis of faults in the Italian Telecommunications Network; a former… 
1977
1977
An Automatic Position Recognition Technique for LSI Assembly
A fully automatic LSI wire-bonding system utilizing image processing techniques is described. The position recognition system… 
1973
1973
The ordinals of the systems of second order arithmetic with the provably Δ 2 1 -comprehension axiom and with the Δ 2 1 -comprehension axiom respectively
Definition 1.15. A proof of second order arithmetic in the tree form formulation with G L C as its logical basis (see [5] for the… 
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)