Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,859,393 papers from all fields of science
Search
Sign In
Create Free Account
Kind (type theory)
Known as:
Higher kind
, Higher-kinded type
, Higher-kind
Expand
In the area of mathematical logic and computer science known as type theory, a kind is the type of a type constructor or, less commonly, the type of…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
25 relations
Computer science
Currying
Dependent type
Elm
Expand
Broader (1)
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Duality in Logic and Language
L. Demey
,
Hans Smessaert
2016
Corpus ID: 34510875
Duality phenomena occur in nearly all mathematically formalized disciplines, such as algebra, geometry, logic and natural…
Expand
Review
2016
Review
2016
Nerves Muscles And Electricity An Introductory Manual Of Electrophysiology
M. Schroder
2016
Corpus ID: 63623508
Download PDF Ebook and Read OnlineNerves Muscles And Electricity An Introductory Manual Of Electrophysiology%0D. Get Nerves…
Expand
Review
2016
Review
2016
Intervención educativa al personal de Enfermería sobre apoyo psicosocial a adolescentes en situaciones de desastre
Mayelín Turcaz Romero
,
Katiuska Pascual Mengana
,
Yunior Ibarra Fiallo
2016
Corpus ID: 192883358
In a group of nurses belonging to the Policlinic "Asdrubal Lopez Vazquez" in June 2015. The universe was represented by 192…
Expand
2013
2013
Racism , Reagan views targeted by Gregory By
S. Saavedra
,
C. Bednarski
,
Mary Benchik
,
B. C. Skorcz
,
M. Pankowski
2013
Corpus ID: 49057810
The ro le of listening, understand ing, and responding is not a passive one for studen t governm ent said Jeanne Heller…
Expand
2012
2012
Engineering Corynebacterium glutamicum as a designer-bug for the bio-based production of chemical building blocks and biofuel
S. Wieschalka
2012
Corpus ID: 87493132
........................................................................................................................... 1…
Expand
2008
2008
Expansion sub-frame information sending, parsing, processing method, expansion sub-frame description method
刘颖
,
鲁照华
2008
Corpus ID: 196028710
The present invention discloses a method for transmitting expanded sub-frame information, wherein, a base station generates…
Expand
2005
2005
The Sale of a Principal Residence Acquired Through a Like-Kind Exchange
Gregg A. Esenwein
2005
Corpus ID: 157950957
When business or investment property is exchanged for property of a “like kind,” (often referred to as a 1031 exchange) no gain…
Expand
2000
2000
INTRODUCTION: A higher kind of loyalty?
H. D. Burgh
2000
Corpus ID: 148269900
1999
1999
Looking a medieval gift horse in the mouth. The role of the giving of gift objects in the definition and maintenance of the power networks of Philip the Bold
C. Chattaway
1999
Corpus ID: 146460834
A horse's age is commonly gauged by the state of its teeth. An old proverb, according to St. Jerome common even in the fifth…
Expand
1987
1987
A treatise of algebra : with the application of it to a variety of problems in arithmetic, to geometry, trigonometry, and conic sections : with the several methods of solving and constructing…
Christian Wolff
1987
Corpus ID: 117687849