Vol-4268⫷ Vol-4269 ⫸Vol-4270
urn:nbn:de:0074-4269-0


Vol-4269/paper47⫷Vol-4269/paper76⫸Vol-4269/paper56
Kostia ChardonnetUgo Dal LagoNaohiko HoshinoPaolo Pistone

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