Pages that link to "Item:Q1607298"

The following pages link to Exact real number computations relative to hereditarily total functionals. (Q1607298):

Displaying 2 items.

• Semantics of a sequential language for exact real-number computation (Q2373708) (← links)
• Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting (Q2805159) (← links)