2742 search results - page 22 / 549 » Deriving Category Theory from Type Theory |
COGSCI
2010
13 years 8 months ago
2010
People are remarkably smart: They use language, possess complex motor skills, make nontrivial inferences, develop and use scientific theories, make laws, and adapt to complex dyna...
COGSCI
2010
13 years 8 months ago
2010
Research in education and cognitive development suggests that explaining plays a key role in learning and generalization: When learners provide explanations--even to themselves--t...
ICFP
2008
ACM
14 years 8 months ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...
KES
2010
Springer
13 years 7 months ago
2010
Springer
We develop a methodology to grasp temporal trend in a stock market that changes year to year, or sometimes within a year depending on numerous factors. For this purpose, we employ ...
TSP
2008
13 years 8 months ago
2008
One of the fundamental assumptions in traditional sampling theorems is that the signals to be sampled come from a single vector space (e.g. bandlimited functions). However, in many...