8228 search results - page 132 / 1646 » Structural Logical Relations |
TLCA
2007
Springer
14 years 4 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
CIA
2003
Springer
14 years 3 months ago
2003
Springer
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...
FOSSACS
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. We lay the foundations of a first-order correspondence theory for coalgebraic logics that makes the transition structure explicit in the first-order modelling. In parti...
COGSCI
2011
13 years 1 months ago
2011
What mechanisms underlie children’s language production? Structural priming—the repetition of sentence structure across utterances—is an important measure of the developing ...
ICDE
2002
IEEE
14 years 3 months ago
2002
IEEE
Unity is an architecture for integrating relational databases that performs three processes: metadata capture, semantic integration, and query formulation and execution. The found...