AI Chat AI Image Generator AI Video Text to Speech

The em-convex rewrite system

07/05/2018

∙

by Marius Buliga, et al.

∙

∙

We introduce and study em (or "emergent"), a lambda calculus style rewrite system inspired from dilations structures in metric geometry. Then we add a new axiom (convex) and explore its consequences. Although (convex) forces commutativity of the infinitesimal operations, Theorems 6.2, 8.9 and Proposition 8.7 appear as a lambda calculus style version of Gleason and Montgomery-Zippin solution to the Hilbert 5th problem.

page 1

page 2

page 3

page 4

research

∙ 04/05/2023

Analysis of Dynamic Voronoi Diagrams in the Hilbert Metric

The Hilbert metric is a projective metric defined on a convex body which...

0 Madeline Bumpus, et al. ∙

research

∙ 09/12/2023

A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus

We introduce FIK, a natural intuitionistic modal logic specified by Krip...

0 Philippe Balbiani, et al. ∙

research

∙ 11/21/2017

On the EM-Tau algorithm: a new EM-style algorithm with partial E-steps

The EM algorithm is one of many important tools in the field of statisti...

0 Val Andrei Fajardo, et al. ∙

research

∙ 08/10/2020

On a recipe for quantum graphical languages

Different graphical calculi have been proposed to represent quantum comp...

0 Titouan Carette, et al. ∙

research

∙ 05/04/2020

Factorize Factorization

We present a new technique for proving factorization theorems for compou...

0 Beniamino Accattoli, et al. ∙

research

∙ 01/21/2018

Dialectica Categories for the Lambek Calculus

We revisit the old work of de Paiva on the models of the Lambek Calculus...

0 Valeria de Paiva, et al. ∙

research

∙ 04/21/2023

From Tractatus to Later Writings and Back – New Implications from the Nachlass

As a celebration of the Tractatus 100th anniversary it might be worth re...

0 Ruy J. G. B. de Queiroz, et al. ∙