224 search results - page 29 / 45 » Structural Operational Semantics and Modal Logic, Revisited |
168
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
143
Voted
TLCA
2007
Springer
15 years 9 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...
117
Voted
JAIR
2010
15 years 2 months ago
2010
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other...
121
click to vote
JLP
2006
15 years 3 months ago
2006
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...
133
click to vote
WOLLIC
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...