Pages that link to "Item:Q3830972"
From MaRDI portal
The following pages link to A Proof-Theoretic Account of Programming and the Role of Reduction Rules (Q3830972):
Displayed 4 items.
- On reduction rules, meaning-as-use, and proof-theoretic semantics (Q1005958) (← links)
- Extending the Curry-Howard interpretation to linear, relevant and other resource logics (Q4032664) (← links)
- The Functional Interpretation of Direct Computations (Q5179008) (← links)
- Natural Deduction for Equality: The Missing Entity (Q5251187) (← links)