output
20122026
most citedAdvances in InGaAs/InP single-photon detector systems for quantum communication

425 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.LO2026

String Diagrams for Monoidal Categories, in Rocq

Damien Pous

We present a Rocq library for monoidal categories, which includes a decision procedure for proving equality of morphisms as well as notations that make it possible to reason as if…

cs.LO2025

Adhesive category theory for graph rewriting in Rocq

Samuel Arsac, Russ Harmer, Damien Pous

We design a Rocq library about adhesive categories, using Hierarchy Builder (HB). It is built around two hierarchies. The first is for categories, with usual categories at the bott…

cs.LO2020

Learning to Count up to Symmetry

Pierre Clairambault

In this paper we develop the theory of how to count, in thin concurrent games, the configurations of a strategy witnessing that it reaches a certain configuration of the game. This…