Results 21 to 30 of about 1,220,062 (289)
Operator Calculus of Quantized Operator [PDF]
Progress of Theoretical Physics, 1952 The notational ambiguities in Feynman's calculus are all remedied here by setting a more natural foundation of the ordered exponential operators, which will be called briefly "expansional" operators in this paper. The essential point to be stressed is that the pure exponential opErator is merely a special case of the more wider class of operators, i.e.,
openaire +2 more sources
Psi-calculi: a framework for mobile processes with nominal data and logic [PDF]
Logical Methods in Computer Science, 2011 The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processes and their names can be statically scoped as in the standard pi-calculus.
Jesper Bengtson +3 more
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
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
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
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
Approximate operational calculus in chemical engineering [PDF]
, 1957 Approximations are suggested to extend the usefulness of operational calculus in solving boundary-value problems of interest to the chemical engineer. General approximations are outlined and specific ones illustrated.
Churchill, Stuart Winston
core +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
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
Integral Transforms and Operational Calculus [PDF]
, 2019 Researches and investigations involving the theory and applications of integral transforms and operational calculus are remarkably wide-spread in many diverse areas of the mathematical, physical, chemical, engineering and statistical ...
Srivastava, Hari Mohan
core +1 more source