1791 search results - page 1 / 359 » Two Types of Multiple-Conclusion Systems |
IGPL
1998
13 years 5 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 9 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
13 years 11 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
13 years 11 months ago
2007
IEEE
ETRA
2006
ACM
13 years 11 months ago
2006
ACM