Related papers: Multi types and reasonable space
We investigate the correspondence between the time and space recognition complexity of languages. For this purpose, we will code the long-continued computations of deterministic two-tape Turing machines by the relatively short-length…
We propose that models with spacetime dipole symmetry are connected to Lorentz invariant models via the Carrollian limit. In this way, a recently proposed model with spacetime dipole symmetry was readily reproduced together with its…
We extend intersection types to a computational $\lambda$-calculus with algebraic operations \`a la Plotkin and Power. We achieve this by considering monadic intersections, whereby computational effects appear not only in the operational…
In the first part of this paper, we define two resource aware typing systems for the {\lambda}{\mu}-calculus based on non-idempotent intersection and union types. The non-idempotent approach provides very simple combinatorial…
We introduce the concept of a "transitory" dynamical system---one whose time-dependence is confined to a compact interval---and show how to quantify transport between two-dimensional Lagrangian coherent structures for the Hamiltonian case.…
The aim of this contribution is twofold. First, we show that when two (or more) different quantum groups share the same noncommutative spacetime, such an 'ambiguity' can be resolved by considering together their corresponding noncommutative…
We present a space-time multiscale method for a parabolic model problem with an underlying coefficient that may be highly oscillatory with respect to both the spatial and the temporal variables. The method is based on the framework of the…
We show that an intuitionistic version of counting propositional logic corresponds, in the sense of Curry and Howard, to an expressive type system for the probabilistic event lambda-calculus, a vehicle calculus in which both call-by-name…
We define inductively a sequence of purely algebraic invariants - namely, classes in the Quillen cohomology of the Pi-algebra \pi_* X - for distinguishing between different homotopy types of spaces. Another sequence of such cohomology…
We reconsider a control theory for Hamiltonian systems, that was introduced on the basis of KAM theory and applied to a model of magnetic field in previous articles. By a combination of Frequency Analysis and of a rigorous (Computer…
Dynamical systems are abstract models of interaction between space and time. They are often used in fields such as physics and engineering to understand complex processes, but due to their general nature, they have found applications for…
We report a novel approach for the efficient computation of solutions of a broad class of large-scale systems of non-linear ordinary differential equations, describing aggregation kinetics. The method is based on a new take on the…
The elegant theory of the call-by-value lambda-calculus relies on weak evaluation and closed terms, that are natural hypotheses in the study of programming languages. To model proof assistants, however, strong evaluation and open terms are…
We derive line-element's templates of space-time models with Space models complying with Helmholtz's Free mobility postulate, and discuss some of the Time models compatible with them.
The field of quantum computing is at an exciting time where we are constructing novel hardware, evaluating algorithms, and finding out what works best. As qubit technology grows and matures, we need to be ready to design and program larger…
In this paper we present a-posteriori KAM results for existence of $d$-dimensional isotropic invariant tori for $n$-DOF Hamiltonian systems with additional $n-d$ independent first integrals in involution. We carry out a covariant…
This paper presents the syntax and reduction rules for an abstract machine based on the JavaScript XML language. We incorporate the notion of cost into our reduction rules, and create a type system that over-approximate this cost. This…
Just like decent classical difference-difference systems define symplectic maps on suitable phase spaces, their counterparts with properly ordered noncommutative entries come as Heisenberg equations of motion for corresponding quantum…
We uncover the solution space of a five dimensional geometry which we deem it as the direct counterpart of the Bianchi Type V cosmological model. We kinematically reduce the scale factor matrix and then, with an appropriate scaling and…
We implement a novel representation of model search spaces as diagrams over a category of models, where we have restricted attention to a broad class of models whose structure is presented by \C-sets. (Co)limits in these diagram categories…