output
20042026
most citedPhotoluminescent diamond nanoparticles for cell labeling: study of the uptake mechanism in mammalian cells

332 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.LOShow all

3 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.LO2024★ 2 cited

Braids, twists, trace and duality in combinatory algebras

Masahito Hasegawa, Serge Lechenne

We investigate a class of combinatory algebras, called ribbon combinatory algebras, in which we can interpret both the braided untyped linear lambda calculus and framed oriented ta…

cs.LO2021★ 8 cited

A modular construction of type theories

Frédéric Blanqui, Gilles Dowek, Emilie Grienenberger +2

The lambda-Pi-calculus modulo theory is a logical framework in which many type systems can be expressed as theories. We present such a theory, the theory U, where proofs of several…