Results 21 to 30 of about 1,163,964 (293)

Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces [PDF]

Scientific Annals of Computer Science, 2014
In this paper we use finite vector spaces (finite dimension, over finite fields) as a non-standard computational model of linear logic. We first define a simple, finite PCF-like lambda-calculus with booleans, and then we discuss two finite models, one ...
B. Valiron, S. Zdancewic
doaj   +1 more source

An Operational Petri Net Semantics for the Join-Calculus [PDF]

Electronic Proceedings in Theoretical Computer Science, 2012
We present a concurrent operational Petri net semantics for the join-calculus, a process calculus for specifying concurrent and distributed systems. There often is a gap between system specifications and the actual implementations caused by synchrony ...
Stephan Mennicke
doaj   +1 more source

A Calculus with Lazy Module Operators [PDF]

, 2006
Modern programming environments such as those of Java and C# support dynamic loading of software fragments. More in general, we can expect that in the future systems will support more and more forms of interleaving of reconfiguration steps and standard execution steps, where the software fragments composing a program are dynamically changed and/or ...
ANCONA, DAVIDE, FAGORZI S., ZUCCA, ELENA
openaire   +4 more sources

No solvable lambda-value term left behind [PDF]

Logical Methods in Computer Science, 2016
In the lambda calculus a term is solvable iff it is operationally relevant. Solvable terms are a superset of the terms that convert to a final result called normal form.
Á. García-Pérez, P. Nogueira
doaj   +1 more source

Towards Gradually Typed Capabilities in the Pi-Calculus [PDF]

Electronic Proceedings in Theoretical Computer Science, 2019
Gradual typing is an approach to integrating static and dynamic typing within the same language, and puts the programmer in control of which regions of code are type checked at compile-time and which are type checked at run-time.
Matteo Cimini
doaj   +1 more source

The Heaviside Operational Calculus [PDF]

Bell System Technical Journal, 1922
The art of electrical communication owes a great and increasingly recognized debt to Oliver Heaviside for his work in developing and emphasizing a correct theory of electrical transmission along wires and in particular for his insistance on the importance of inductance. His operational methods of solving the differential equations which are fundamental
openaire   +3 more sources

General operational calculus [PDF]

, 1986
This article gives a survey of some trends in modern operational calculus. It begins with the abstract Taylor formula as the basic algebraic tool of operational calculus and shows its application for the solution of both initial and boundary value ...
Lothar Berg, Berg, Lothar
core   +1 more source

A direct extension of Meller's calculus

International Journal of Mathematics and Mathematical Sciences, 1982
This paper extends the operational calculus of Meller for the operator Bα=t−αddttα+1ddt to the case where α∈(0,∞). The development is àla Mikusinski calculus and uses Meller's convolution process with a fractional derivative operator.
E. L. Koh
doaj   +1 more source

The Application of Abstract Algebra in Operational Calculus

Fractal and Fractional
This paper is dedicated to elucidating the abstract algebraic structure of operational calculus theory. Based on abstract algebra and operational calculus, the operator algebra theory of Mikusiński has been revised. We restate the concept of Mikusiński’s
Ruiheng Jiang, Tianyi Zhou, Yajun Yin
doaj   +1 more source

A Verified Algebra for Linked Data [PDF]

Electronic Proceedings in Theoretical Computer Science, 2011
A foundation is investigated for the application of loosely structured data on the Web. This area is often referred to as Linked Data, due to the use of URIs in data to establish links.
Ross Horne, Vladimiro Sassone
doaj   +1 more source