"90fb26c9796f063017eb2212a699029f" . "Side effects"@en . "Dependent types"@en . "Classical realizability"@en . "2012 ACM Subject Classification Theory of computation \u2192 Logic"@en . "Type structures"@en . "\u00C9tienne Miquey" . "Call-by-name"@en . "Ultrafilters"@en . "Types d\u00E9pendants"@fr . "Environment-passing style"@en . "Nonstandard analysis"@en . "Lambda-calculus"@en . "Stateful computations"@en . "Alg\u00E8bres implicatives"@fr . "Calue restriction"@en . "Abstract machines"@en . "Continuation-passing style"@en . "Call-by-value"@en . "Implicative algebras"@en . . "Value restriction"@en . "Glueing"@en . "Nonstandard arithmetic"@en . "\u039B-calculus"@en . "Computational content of classical proof"@en . "\u00C9valuation paresseuse"@fr . "Classical logic"@en . . "\u0141o\u015B ' theorem"@en . "Games"@en . . "Classical arithmetic"@en . "Sequent calculus"@en . "Realizability"@en . "Effets de bord"@fr . "Kripke forcing"@en . . "Continuation-passing style translation"@en . "Realizabiliy"@en . "Proof theory"@en . "Contenu calculatoire de preuve classique"@fr . "Curry-Howard"@en . "\u00C9tienne" . "States"@en . <0000-0002-5987-6547> . "Process Algebras"@en . "Miquey" . "Lazy evaluation"@en . "Control operators"@en . "Duality"@en . "Arithmetical formul\u00E6"@en . "Specification"@en . "Delimited continuations"@en . "Type theory"@en . "Forcing"@en . "Proof-as-programs"@en . "Linear Logic"@en . "Theory of computation \u2192 Type theory Keywords and phrases realizability"@en . "CPS translations"@en . "Control primitives"@en . "CPS trans- lations"@en . "R\u00E9alisabilit\u00E9 classique"@fr . "Model theory"@en . "Dependent choice"@en . "Global environment"@en . "Concurrent Programming"@en . "Proofs-as-programs"@en . "Lattices"@en . "Operational semantics"@en . "Call by-need"@en . "Normalization"@en . "Tripos"@en . "De Bruijn indices"@en . "Theory of computation \u2192 Proof theory"@en . "Type system"@en . .