2 citations · 2 across the 8 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
math.CT2026
The category of nominal sets is locally monoidal closed
Fahimeh Bayeh, Peng Fu, Peter Selinger
The category Nom of nominal sets was proposed by Pitts and Gabbay as a setting for the semantics of abstract syntax with variable bindings. It is well-known that Nom is a topos, al…
cs.PL2026
Staged Hybrid Quantum-Classical Programming
Chuta Sano, Peng Fu, Ryan Kavanagh +2
Hybrid quantum-classical computing systems consist of a classical control system that sends quantum circuits and receives measurement results from a quantum co-processor. Such syst…