2373 search results - page 15 / 475 » On the Theory of Structural Subtyping |
AIED
2009
Springer
15 years 6 months ago
2009
Springer
This study, through the ontological engineering approach, aims at building a conceptual basis that encourages instructional designers in better understanding of learning/instructio...
102
click to vote
LICS
2010
IEEE
14 years 10 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
ECIS
2001
15 years 1 months ago
2001
Giddens' structuration theory is increasingly used in studies assessing IT-based organizational change. However, few studies, if any, have focused on how to empirically apply...
JSYML
2006
14 years 11 months ago
2006
Abstract. Using the Friedman-Koepke Hyperfine Structure Theory of [2], we provide a short construction of a gap 1 morass in the constructible universe.
116
click to vote
FROCOS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...