Revisiting the Duality of Computation: An Algebraic Analysis of Classical Realizability Models.

tienne Miquey

Browse the full CSL paper archive.