Interactive Infrastructure

The mGoI framework provides token machine semantics of effectful computations, namely computations with algebraic effects, in which effectful λ-terms are translated to transducers..

Standard domino tableaux have already been considered by many authors [33], [6], [34], [8], [1], but, to the best of our knowledge, the expression of the

We shall give a method for systematic computation of γ K , give some general upper and lower bounds, and study three special cases more closely, including that of curves with

An example of a database state in the lextensive category of finite sets, for the EA sketch of our school data specification is provided by any database which models the

A NOTE ON SUMS OF POWERS WHICH HAVE A FIXED NUMBER OF PRIME FACTORS.. RAFAEL JAKIMCZUK D EPARTMENT OF

The set of families K that we shall consider includes the family of real or imaginary quadratic fields, that of real biquadratic fields, the full cyclotomic fields, their maximal

Theorem 5 was the first result that really showed that Gorenstein liaison is a theory about divisors on arithmetically Cohen-Macaulay schemes, just as Hartshorne [50] had shown that

A lemma of considerable generality is proved from which one can obtain inequali- ties of Popoviciu’s type involving norms in a Banach space and Gram determinants.. Key words