2145 search results - page 42 / 429 » Lax Logical Relations |
113
Voted
CAEPIA
2009
Springer
15 years 1 months ago
2009
Springer
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of close...
99
Voted
TCS
2002
15 years 14 days ago
2002
In this work, we investigate various specification languages and their relation to Casl, the recently developed Common Algebraic Specification Language. In particular, we consider...
133
Voted
ACL
2010
14 years 11 months ago
2010
Open-ended spoken interactions are typically characterised by both structural complexity and high levels of uncertainty, making dialogue management in such settings a particularly...
113
Voted
APLAS
2006
ACM
15 years 6 months ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
85
Voted
CALCO
2007
Springer
15 years 7 months ago
2007
Springer
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...