Pages that link to "Item:Q1274979"
From MaRDI portal
The following pages link to System \(T\), call-by-value and the minimum problem (Q1274979):
Displaying 7 items.
- Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control (Q444460) (← links)
- The Inf function in the system \(F\) (Q1346636) (← links)
- The efficiency of primitive recursive functions: a programmer's view (Q2355684) (← links)
- Minimality in a linear calculus with iteration (Q2873683) (← links)
- A complete characterization of primitive recursive intensional behaviours (Q3514635) (← links)
- Theoretical computer science: computability, decidability and logic (Q6602262) (← links)
- Algorithmically expressive, always-terminating model for reversible computation (Q6637584) (← links)