Pages that link to "Item:Q2637706"
From MaRDI portal
The following pages link to A feasible theory of truth over combinatory algebra (Q2637706):
Displaying 7 items.
- Applicative theories for logarithmic complexity classes (Q2346995) (← links)
- Realisability in weak systems of explicit mathematics (Q3107339) (← links)
- Elementary explicit types and polynomial time operations (Q3632522) (← links)
- Feasible Operations and Applicative Theories Based on λη (Q4511545) (← links)
- Unfolding Schematic Systems (Q5214786) (← links)
- (Q5554974) (← links)
- Truth in applicative theories (Q5951914) (← links)