2272 search results - page 34 / 455 » A Calculus for |
120
Voted
LPAR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
127
Voted
LICS
1994
IEEE
15 years 7 months ago
1994
IEEE
abstract semantics for concurrent graph reduction ALAN JEFFREY This paper presents a fully abstract semantics for a variant of the untyped -calculus with recursive declarations. We...
109
Voted
TABLEAUX
1995
Springer
15 years 7 months ago
1995
Springer
We present a procedure transforming intuitionistic matrix proofs into proofs within the intuitionistic standard sequent calculus. The transformation is based on L. Wallen’s proof...
120
Voted
HYBRID
1992
Springer
15 years 7 months ago
1992
Springer
This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the ...
127
click to vote
APLAS
2008
ACM
15 years 5 months ago
2008
ACM
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...