Results 161 to 170 of about 227,942 (203)
Some of the next articles are maybe not open access.
A Calculus of Lambda Calculus Contexts
Journal of Automated Reasoning, 2001zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mirna Bognar, Roel C. de Vrijer
openaire +1 more source
The λ-calculus in the π-calculus
Mathematical Structures in Computer Science, 2011A general approach is proposed for transforming objects to methods on the fly in the framework of the π-calculus. The power of the approach is demonstrated by applying it to generate an encoding of the full lambda calculus in the π-calculus. The encoding is proved to preserve and reflect beta reduction, and is shown to be fully abstract with respect to
Xiaojuan Cai, Yuxi Fu
openaire +2 more sources
Journal of Logic, Language and Information, 2010
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Glyn Morrill +2 more
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Glyn Morrill +2 more
openaire +2 more sources
1993
Summary: The Fork Calculus FC presents a theory of communicating systems in family with CCS, but it differs in the way that processes are put in parallel. In CCS there is a binary parallel operator \(|\), and two processes \(p\) and \(q\) are put in parallel by \(p | q\).
Havelund, Klaus, Larsen, K.
openaire +4 more sources
Summary: The Fork Calculus FC presents a theory of communicating systems in family with CCS, but it differs in the way that processes are put in parallel. In CCS there is a binary parallel operator \(|\), and two processes \(p\) and \(q\) are put in parallel by \(p | q\).
Havelund, Klaus, Larsen, K.
openaire +4 more sources
Xi-Calculus: A Calculus for Service Interactions
2010 IEEE International Conference on Services Computing, 2010The paper proposes xi-calculus, a formalism for describing interactions in Service Oriented Architectures. The calculus treats interactions between services as a core concept to capture important architectural characteristics of the system. The focus of x-calculus is on the higher level abstraction rather than on the lower level details like parameter ...
Vineet Rajani +2 more
openaire +2 more sources
A Calculus taken out of the Calculus
2004Ein Kalkul ist ein System von Anweisungen/Konstniktionen und Ubereinkunften, das geregelte Austauschprozesse von Hinweisformen, d.h. von Ausdrucken erlaubt. Der Kalkul, aus dem in diesem Kapitel ein weiterer Kalkul ‚herausgenommen‘ wird, ist die Primare Arithmetik.
openaire +1 more source
Studia Logica, 2019
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Journal of Urology, 1985
Triamterene therapy is an unusual cause of nephrolithiasis and, when this agent is found in a stone, generally it is deposited in minor amounts. We report a renal calculus consisting mostly of triamterene and its 2 major metabolites in a patient taking a triamterene-containing drug, and discuss some implications.
E S, Dickstein, W D, Loeser
openaire +2 more sources
Triamterene therapy is an unusual cause of nephrolithiasis and, when this agent is found in a stone, generally it is deposited in minor amounts. We report a renal calculus consisting mostly of triamterene and its 2 major metabolites in a patient taking a triamterene-containing drug, and discuss some implications.
E S, Dickstein, W D, Loeser
openaire +2 more sources
Mathematics of the USSR-Izvestiya, 1968
We consider extensions of the intuitionist and minimal propositional calculi effected by the addition of a single formula as a new axiom.
openaire +1 more source
We consider extensions of the intuitionist and minimal propositional calculi effected by the addition of a single formula as a new axiom.
openaire +1 more source
ACM Transactions on Programming Languages and Systems, 2004
There is a significant class of operations such as mapping that are common to all data structures. The goal of generic programming is to support these operations on arbitrary data types without having to recode for each new type. The pattern calculus and combinatory type system reach this goal by representing each data structure as a combination of ...
openaire +1 more source
There is a significant class of operations such as mapping that are common to all data structures. The goal of generic programming is to support these operations on arbitrary data types without having to recode for each new type. The pattern calculus and combinatory type system reach this goal by representing each data structure as a combination of ...
openaire +1 more source