output
20172026
most citedSwitching quantum reference frames in the N-body problem and the absence of global relational perspectives

60 citations

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

17 papers · 1 filter

cs.LO2025

Quantum Petri Nets with Event Structures semantics

Julien Saan Joachim, Marc de Visme, Stefan Haar

Classical Petri nets provide a canonical model of concurrency, with unfolding semantics linking nets, occurrence nets, and event structures. No comparable framework exists for quan…

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

Maths with Coq in L1, a pedagogical experiment

Marie Kerjean, Micaela Mayero, Pierre Rousselin

In France, the first year of study at university is usually abbreviated L1 (for premiere annee de Licence). At Sorbonne Paris Nord University, we have been teaching an 18 hour intr…

cs.LO2025

Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words

Titouan Carette, Marc de Visme, Vivien Ducros +2

Minimizing finite automata, proving trace equivalence of labelled transition systems or representing sofic subshifts involve very similar arguments, which suggests the possibility…

cs.LO2023★ 3 cited

Semantics for a Turing-complete Reversible Programming Language with Inductive Types

Kostia Chardonnet, Louis Lemonnier, Benoît Valiron

This paper is concerned with the expressivity and denotational semantics of a functional higher-order reversible programming language based on Theseus. In this language, pattern-ma…

cs.LO2023★ 3 cited

Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing

Renaud Vilmart

The "Sum-Over-Paths" formalism is a way to symbolically manipulate linear maps that describe quantum systems, and is a tool that is used in formal verification of such systems. We…