Bottom type

Known as: Bottom, Java.lang.Void, Zero type 
In type theory, a theory within mathematical logic, the bottom type is the type that has no values. It is also called the zero or empty type, and is… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
  • Nwajinka, Chibundu Chiazoka, Jonah Akekere, Yousuo, P. John
  • 2015
This study investigates the impact of electric energy supply on the industrial sector productivity in Nigeria from 1970 to 2010… (More)
Is this relevant?
Highly Cited
2014
Highly Cited
2014
A robust and resilient medium access control (MAC) protocol is crucial for numerous machine-type devices to concurrently access… (More)
  • figure 1
  • figure 2
  • figure 3
  • table II
  • table I
Is this relevant?
2013
2013
a IFREMER, Centre de Brest, 29280 Plouzané, France b Université de Brest, IUEM, UMR 6538, 29280 Plouzané, France c Origins… (More)
  • table 1
  • figure 1
  • table 2
  • table 3
  • table 4
Is this relevant?
2007
2007
The present study was carried out to investigate contamination of heavy metals in 19 fish species from the Banan section of… (More)
  • table 1
  • table 2
  • figure 2
  • table 3
  • figure 4
Is this relevant?
2006
2006
Tarski asked whether the arithmetic identities taught in high school are complete for showing all arithmetic equations valid for… (More)
Is this relevant?
2006
2006
Developmental biology requires three principles of organization characteristic of living organisms: multicellular architecture… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2004
2004
Jicamarca radar observations of bottom-type coherent scattering layers in the post-sunset bottomside F-region ionosphere are… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
A standard algorithm for determining depth in clear water from passive sensors exists; but it requires tuning of five parameters… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1998
Highly Cited
1998
We present a possible computational content of the negative translation of classical analysis with the Axiom of Choice Our… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?