1791 search results - page 1 / 359 » Two Types of Multiple-Conclusion Systems |
IGPL
1998
13 years 7 months ago
1998
Hypersequents are nite sets of ordinary sequents. We show that multiple-conclusion sequents and single-conclusion hypersequents represent two di erent natural methods of switching...
LICS
1994
IEEE
13 years 11 months ago
1994
IEEE
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...
TLCA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
IJCNN
2007
IEEE
14 years 1 months ago
2007
IEEE
ETRA
2006
ACM
14 years 1 months ago
2006
ACM