output
20052026
most citedRobots that can adapt like animals

963 citations

researchers with a paper here
collaborating institutions
Showing cs.LOShow all

56 papers · 1 filter

cs.LO2026

A Typing System for the Linear Lambda-Calculus in de Bruijn Notation

Philippe de Groote, Vincent Tourneur

We introduce a typing system that is particularly well suited for typing the linear lambda-calculus in de Bruijn notation. This typing discipline, which is reminiscent of Hodas' an…

cs.LO2025

Bifurcation Logic: Separation Through Ordering

Didier Galmiche, Timo Lang, Daniel Méry +1

We introduce Bifurcation Logic, BL, which combines a basic classical modality with separating conjunction * together with its naturally associated multiplicative implication, that…

cs.LO2025★ 317 cited

Resource-Aware Quantum Programming with General Recursion and Quantum Control

Kostia Chardonnet, Emmanuel Hainry, Romain Péchoux +1

This paper introduces the hybrid quantum language with general recursion , driven towards resource-analysis. By design, does not require the specif…

cs.LO2025

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases

Alejandro Díaz-Caro, Nicolas A. Monzon

We introduce Lambda-SX, a typed quantum lambda-calculus that supports multiple measurement bases. By tracking duplicability relative to arbitrary bases within the type system, Lamb…

cs.LO2025

IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation

Kinnari Dave, Alejandro Díaz-Caro, Vladimir Zamdzhiev

We introduce a proof language for Intuitionistic Multiplicative Additive Linear Logic (IMALL), extended with a modality B to capture mixed-state quantum computation. The language s…

cs.LO2025★ 2 cited

Towards a Computational Quantum Logic: An Overview of an Ongoing Research Program

Alejandro Díaz-Caro

This invited paper presents an overview of an ongoing research program aimed at extending the Curry-Howard-Lambek correspondence to quantum computation. We explore two key framewor…