Top type

The top type in the type theory of mathematics, logic, and computer science, commonly abbreviated as top or by the down tack symbol (⊤), is the… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1995-2016
01219952016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
The Unifying Theories of Programming (UTP) is a mathematical framework to define, examine and link program semantics for a large… (More)
  • table 1
  • figure 1
  • table 2
Is this relevant?
2014
2014
Summary form only given. An eleven stage flat top type output Marx utilizing sparkgap switches is operated to produce a desired… (More)
Is this relevant?
2012
2012
This paper contains the investigation of 8-channel wavelength-division-multiplexed passive optical network by using spectrum… (More)
  • figure 1
  • figure 2
  • figure 5
  • figure 3
  • figure 6
Is this relevant?
2009
2009
This paper describes single point micro incremental forming (SPMIF) applied to the fabrication of meso-scale shell structures… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
2008
2008
In this paper, we demonstrate an effective way of annealing in vacuum to enhance the -Factor of planar spiral inductors for RF… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
2007
2007
System F-bounded is a second order lambda calculus with subtyping. It extends system F≤ (see [Cardelli Wegner 85, Curien Ghelli… (More)
Is this relevant?
2005
2005
We introduce grading into games of status. Each player chooses effort, producing a stochastic output or score. Utilities depend… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
1998
Review
1998
The concepts of propagation phase and fm noise are presented comparing oscillator noise with phase fluctuations introduced by the… (More)
  • table 1
  • table 2
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
1995
1995
In his PEPM’93 paper Mogensen introduced a new off-line specialisation technique, constructor specialisation. What differentiates… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 7
Is this relevant?