Related papers: Principal Types as Partial Involutions

We give a characterization of flat affine connections on manifolds by means of a natural affine representation of the universal covering of the Lie group of diffeomorphisms preserving the connection. From the infinitesimal point of view,…

An enumerative problem on a variety $V$ is usually solved by reduction to intersection theory in the cohomology of a compactification of $V$. However, if the problem is invariant under a "nice" group action on $V$ (so that $V$ is…

Let F be a non-Archimedean locally compact field with residual characteristic p, let G be an inner form of GL(n,F) for a positive integer n and let R be an algebraically closed field of characteristic different from p. When R has…

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 this paper we generalize Kaplansky's combinatorial characterization of the isomorphism types of embeddings of a cyclic subgroup in a finite abelian group given in his 1951 book ``Infinite Abelian Groups''. For this we introduce partial…

We introduce a new class of extensions of terms that consists in navigation strategies and insertion of contexts. We introduce an operation of combination on this class which is associative, admits a neutral element and so that each…

Any permutation has a disjoint cycle decomposition and concept generates an equivalence class on the symmetry group called the cycle-type. The main focus of this work is on permutations of restricted cycle-types, with particular emphasis on…

We investigate the problem of type isomorphisms in a programming language with higher-order references. We first recall the game-theoretic model of higher-order references by Abramsky, Honda and McCusker. Solving an open problem by Laurent,…

We study the existence of a natural `linearisation' process for generalised connections on an affine bundle. It is shown that this leads to an affine generalised connection over a prolonged bundle, which is the analogue of what is called a…

An important open problem in geometric complex analysis is to find algorithms for explicit determination of basic functionals intrinsically connected with conformal and quasiconformal maps, such as their Teichmuller and Grunsky norms,…

We give a combinatorial algorithm for computing Zelevinsky's involution of the set of isomorphism classes of irreducible representations of the affine Hecke algebra $\H_m(t)$ when $t$ is a primitive $n$th root of 1. We show that the same…

Let $X$ be an irreducible algebraic variety over $\mathbb{C}$, endowed with an algebraic foliation ${\cal{F}}$. In this paper, we introduce the notion of minimal invariant variety $V({\cal{F}},Y)$ with respect to $({\cal{F}},Y)$, where $Y$…

In this paper, we prove that there exists a residual subset of contact forms $\lambda$ (if any) on a compact connected orientable manifold $M$ for which the foliation de Rham cohomology of the associated Reeb foliation $F_\lambda$ is…

We consider the following question, concerning associative algebras R over an algebraically closed field k: When can the space of (equivalence classes of) finite dimensional irreducible representations of R be topologically embedded into a…

Type isomorphism is useful for retrieving library components, since a function in a library can have a type different from, but isomorphic to, the one expected by the user. Moreover type isomorphism gives for free the coercion required to…

We study differential forms on an algebraic compactification of a moduli space of metric graphs. Canonical examples of such forms are obtained by pulling back invariant differentials along a tropical Torelli map. The invariant differential…

We consider degenerations of all simple Lie algebras of exceptional type obtained by embedding into affine Lie algebras. We give a filtration to consider this as an abelianisation of the original Lie algebra. We then show that the…

Several classes of *-algebras associated to the action of an affine transformation are considered, and an investigation of the interplay between the different classes of algebras is initiated. Connections are established that relate…

Among all affine, flat, finitely presented group schemes, we focus on those that are pure, this includes all groups which are extensions of a finite locally free group by a group with connected fibres. We prove that over an arbitrary base…

We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of lambda theories. Relying on the notion of easy intersection type theory we successfully build a filter model in which the interpretation…