Volume: Vol-4269 ICTCS 2026 | Year: 2026

Paper: « paper47 | paper76 | paper56 »

Compiling Quantum Lambda-Terms into Circuits via the Geometry of Interaction

• Kostia Chardonnet
• Ugo Dal Lago
• Naohiko Hoshino
• Paolo Pistone

424-430 PDF