Login / Signup

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

Étienne Miquey
Published in: CSL (2020)
Keyphrases