Results 21 to 30 of about 86,734 (328)
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
Algebraic Change-Point Detection [PDF]
, 2009 Elementary techniques from operational calculus, differential algebra, and noncommutative algebra lead to a new approach for change-point detection, which is an important field of investigation in various areas of applied sciences and engineering ...
Fliess, Michel +2 more
core +4 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
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
The call-by-need lambda calculus [PDF]
, 1998 We present a calculus that captures the operational semantics of call-by-need. The call-by-need lambda calculus is confluent, has a notion of standard reduction, and entails the same observational equivalence relation as the call-by-name calculus.
Maraist, John +2 more
core +1 more source
A WSDL-Based Type System for WS-BPEL [PDF]
, 2006 We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages for web services: WSDL and WS-BPEL.
Lapadula, Alessandro +2 more
core +2 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
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
An Alternative Natural Deduction for the Intuitionistic Propositional Logic [PDF]
, 2016 A natural deduction system NI, for the full propositional intuitionistic logic, is proposed. The operational rules of NI are obtained by the translation from Gentzen’s calculus LJ and the normalization is proved, via translations from sequent calculus ...
Ilić, Mirjana
core +1 more source