1791 search results - page 1 / 359 » Two Types of Multiple-Conclusion Systems |
67
Voted
IGPL
1998
15 years 6 days 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...
113
Voted
LICS
1994
IEEE
15 years 4 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
15 years 6 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...
72
Voted
IJCNN
2007
IEEE
15 years 6 months ago
2007
IEEE
86
Voted
ETRA
2006
ACM
15 years 6 months ago
2006
ACM