Lambdas at the Far Edge: a Tale of Flying Lambdas and Lambdas on Wheels

2026-03-04

AI Summary

This work addresses the challenges of programming collaborative swarms of far-edge devices—such as autonomous ground vehicles and drones—by proposing a novel approach based on eXchange Calculus (XC), an extension of typed lambda calculus. The framework enables efficient, formal aggregate programming through implicit proximity-based communication, integrating a rich type system with asynchronous neighbor interactions to provide a verifiable and deployable foundation for distributed edge computing. A C++ implementation, FCPP, along with a supporting toolchain, has been developed and successfully deployed on ground rover platforms, demonstrating feasibility and effectiveness in real-world edge environments. The system is poised for extension to drone swarms, further validating its applicability across heterogeneous edge device ecosystems.

Technology Category

• Machine Learning: Learning on the Edge & Model Compression
• Constraint Satisfaction and Optimization: Distributed CSP/Optimization
• Multiagent Systems: Distributed Problem Solving

Application Category

• Systems and Infrastructure for Web, Mobile and WoT: Federated Web and WoT systems, including distributed, federated and edge-based data processing
• Economics, Online Markets and Human Computation: Incentives in network design for Web infrastructures and ecosystems
• Responsible Web: Human-perceived consequences of algorithmic deployment on the web

Abstract

Aggregate Programming (AP) is a paradigm for programming the collective behaviour of sets of distributed devices, possibly situated at the network far edge, by relying on asynchronous proximity-based interactions. The eXchange Calculus (XC), a recently proposed foundational model for AP, is essentially a typed lambda calculus extended with an operator (the exchange operator) providing an implicit communication mechanism between neighbour devices. This paper provides a gentle introduction to XC and to its implementation as a C++ library, called FCPP. The FCPP library and toolchain has been mainly developed at the Department of Computer Science of the University of Turin, where Stefano Berardi spent most of his academic career conducting outstanding research about logical foundation of computer science and transmitting his passion for research to students and young researchers, often exploiting typed lambda calculi. An FCCP program is essentially a typed lambda term, and FCPP has been used to write code that has been deployed on devices at the far edge of the network, including rovers and (soon) Uncrewed Aerial Vehicles (UAVs); hence the title of the paper.

Problem

• Aggregate Programming
• Far Edge
• Distributed Devices
• Collective Behaviour
• Asynchronous Interaction

Innovation

• Aggregate Programming
• eXchange Calculus
• typed lambda calculus
• edge computing
• proximity-based interaction