Kind (type theory)

Known as: Higher kind, Higher-kinded type, Higher-kind

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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2016

Duality phenomena occur in nearly all mathematically formalized disciplines, such as algebra, geometry, logic and natural…

2013

The ro le of listening, understand ing, and responding is not a passive one for studen t governm ent said Jeanne Heller…

2012

ARTISTIC FRAMES: AN ARTS-BASED STUDY OF TEACHERS‘ EXPERIENCES WITH ARTS-INTEGRATED ENGLISH LANGUAGE ARTS FOR STUDENTS WITH DIS…

2012

........................................................................................................................... 1…

2011

In the last decades ontology has been successfully developed in many directions and has fostered various approaches for depicting…

2009

There is a thriving debate over what aspects of our capacity to produce and understand language are special. My concern here is a…

2004

: A priori conceptual analysis is once again part of the philosophical mainstream. Unlike their verificationist predecessors…

2000

1999

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…

1996

The tendency to engage in globally negative self-evaluations (i.e., overgeneralization) is quite prevalent in depression but the…