2373 search results - page 15 / 475 » On the Theory of Structural Subtyping |
AIED
2009
Springer
15 years 4 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...
LICS
2010
IEEE
14 years 8 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 ...
68
Voted
ECIS
2001
14 years 11 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...
39
Voted
JSYML
2006
14 years 9 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.
105
click to vote
FROCOS
2007
Springer
15 years 3 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...