a cartographic quest between lambda-calculus, logic, and combinatorics – LambdaComb
This project aims to advance a remarkable connection between computer science and mathematics that was discovered by the lead researchers in 2013/2014. On one side of this interdisciplinary correspondence is the lambda calculus, a classical model of computation that remains highly influential on the design & analysis of modern programming languages. On the other side is the study of graphs on surfaces (or "maps"), a deep branch of mathematics with a long history. The unexpected discovery of a host of enumerative and bijective links between these two domains presents a real opportunity for transferring knowledge and techniques in both directions, and for making new advances. This project aims to deepen our scientific understanding by using these new bijective connections to: 1. develop rigorous logical perspectives on maps and related combinatorial objects; and 2. develop precise quantitative perspectives on lambda calculus and related systems.
Monsieur Noam Zeilberger (Laboratoire d'Informatique de l'Ecole Polytechnique)
The author of this summary is the project coordinator, who is responsible for the content of this summary. The ANR declines any responsibility as for its contents.
LIX Laboratoire d'Informatique de l'Ecole Polytechnique
Jagiellonian University / Theoretical Computer Science
LIGM Laboratoire d'Informatique Gaspard-Monge
LIPN Laboratoire d'Informatique de Paris-Nord
LIS Laboratoire d'Informatique et Systèmes
Help of the ANR 284,792 euros
Beginning and duration of the scientific project: December 2021 - 48 Months