Pages that link to "Item:Q1139043"
From MaRDI portal
The following pages link to On a hitherto unexploited extension of the finitary standpoint (Q1139043):
Displaying 7 items.
- About primitive recursive algorithms (Q1176246) (← links)
- System \(T\), call-by-value and the minimum problem (Q1274979) (← links)
- A herbrandized functional interpretation of classical first-order logic (Q2402958) (← links)
- (Q4513599) (← links)
- A dialectica-like model of linear logic (Q5096268) (← links)
- A Computational Interpretation of Forcing in Type Theory (Q5253929) (← links)
- Classical (co)recursion: Mechanics (Q6132720) (← links)
