3 papers
cs.LO2026
Groups and Inverse Semigroups in Lambda Calculus
Antonio Bucciarelli, Arturo De Faveri, Giulio Manzonetto +1
We study invertibility of -terms modulo -theories. Here a fundamental role is played by a class of -terms called finite hereditary permutations (FHP) and by their infin…
cs.LO2026
Ohana trees, linear approximation and multi-types for the I-calculus: No variable gets left behind or forgotten!
Rémy Cerda, Giulio Manzonetto, Alexis Saurin
Although the I-calculus is a natural fragment of the -calculus, obtained by forbidding the erasure of arguments, its equational theories did not receive much attention. The…
cs.LO2025
A Fully Abstract Model of PCF Based on Extended Addressing Machines
Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich
Extended addressing machines (EAMs) have been introduced to represent higher-order sequential computations. Previously, we have shown that they are capable of simulating -- via an…