Pages that link to "Item:Q5843995"

The following pages link to On the interpretation of intuitionistic number theory (Q5843995):

Displayed 10 items.

• Proving properties of typed \(\lambda\)-terms using realizability, covers, and sheaves (Q673628) ‎ (← links)
• Recursion over realizability structures (Q1173956) ‎ (← links)
• A bridge between constructive logic and computer programming (Q1179711) ‎ (← links)
• The disjunction property of intermediate propositional logics (Q1181482) ‎ (← links)
• Modified realizability and predicate logic (Q1274048) ‎ (← links)
• From constructivism to computer science (Q1274450) ‎ (← links)
• A classical view of the intuitionistic continuum (Q1923572) ‎ (← links)
• Realizing Brouwer's sequences (Q1923574) ‎ (← links)
• Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels (Q1923579) ‎ (← links)
• The Mathematical Work of S.C.Kleene (Q4837673) ‎ (← links)