Unit type

Known as: Unit 
In the area of mathematical logic and computer science known as type theory, a unit type is a type that allows only one value (and thus can hold no… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
The Strategy Game Description Game Language (SGDL) is intended to become a complete description of all aspects of strategy games… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
2009
2009
Adopting multiple processing units to enhance the computing capability or reduce the power consumption has been widely accepted… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2008
2008
High mobility and large payload capability are important abilities for wall climbing robots. The authors have proposed a new… (More)
  • figure 1
  • figure 2
  • figure 3
  • table I
  • figure 6
Is this relevant?
2007
2007
High mobility and large payload capability are important abilities for wall climbing robots. Authors have proposed a new robot… (More)
  • figure 1
  • figure 2
  • figure 4
  • table I
  • figure 3
Is this relevant?
2007
2007
To search victims in the narrow space at the disaster site, we have developed the snake-like rescue robot called "KOHGA". The… (More)
  • figure 1
  • figure 2
  • figure 3
  • table I
  • figure 4
Is this relevant?
2007
2007
The level of quality that can be achieved in concatenative text-to-speech synthesis is primarily governed by the inventory of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table I
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?
Highly Cited
2005
Highly Cited
2005
Decidability of definitional equality and conversion of terms into canonical form play a central role in the meta-theory of a… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Image factorizations in regular categories are stable under pullbacks, so they model a natural modal operator in dependent type… (More)
Is this relevant?
1997
1997
semantics of type theory 25 and Moggi [87]. This notion seems to offer the right level of generality for our purposes, and… (More)
  • figure 2.1
Is this relevant?