Skip to search formSkip to main contentSkip to account menu

Inductive type

Known as: W type, W-type 
In type theory, a system has inductive types if it has facilities for creating a new type along with constants and functions that create terms of… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
CoinductionCoq (software)Data structureHomotopy type theory

Broader (1)

Type theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Preparing multiparticle entangled states of nitrogen-vacancy centers via adiabatic ground-state transitions
We propose an efficient method to generate multiparticle entangled states of nitrogen-vacancy (NV) centers in a spin-mechanical… 
2011
2011
Recent Advances in Metamaterial Transmission Lines Based on Split Rings
This paper is focused on metamaterial transmission lines based on split rings. Specifically, the considered lines are those based… 
2000
2000
Molecular Phylogenetic Analysis of Ribosomal DNA Internal Transcribed Spacer Regions and Comparison of Fertility in Phomopsis Isolates from Fruit Trees
Sequences of the ribosomal DNA (rDNA) internal transcribed spacer (ITS) regions were examined to infer a molecular phylogeny of… 
1999
1999
Performance of an inductive fault current limiter employing BSCCO superconducting cylinders
Inductive fault current limiters operating at high levels of short-circuit currents are plagued by appearance of overheated… 
1996
1996
Nonlinear piezoelectric vibration absorbers
The effect of quadratic nonlinear electrical shunts on the performance of piezoelectric vibration absorbers is presented. The… 
Highly Cited
1989
Highly Cited
1989
Inductive principles of the search for empirical dependences (methods based on weak convergence of probability measures)
1988
1988
Cultivated potato chloroplast DNA differs from the wild type by one deletion — evidence and implications
SummaryThe chloroplast DNA (ctDNA) of Solanum tuberosum ssp. tuberosum (T type) and S. chacoense (W type) yield five different… 
Highly Cited
1986
Highly Cited
1986
Adaptive Harmonic Control in PWM Inverters with Fluctuating Input Voltage
New techniques of harmonic reduction and voltage regulation in PWM inverters with fluctuating input voltage are described. A… 
1985
1985
Calibration of Standard Wattmeters Using a Capacitance Bridge and a Digital Generator
A method for calibrating high-accuracy wattmeters is described. The technique is a modification of a previously described… 
1985
1985
Impedance Measuring Device Based on an AC Potentiometer
This paper describes a novel ac potentiometer composed of digital sinewave generators and inductive voltage dividers (IVD's) for… 
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)