Pages that link to "Item:Q1652990"

The following pages link to Realizability interpretation and normalization of typed call-by-need \(\lambda\)-calculus with control (Q1652990):

Displaying 2 items.

• Abstracting models of strong normalization for classical calculi (Q2291828) (← links)
• Stateful Realizers for Nonstandard Analysis (Q6135755) (← links)