Pages that link to "Item:Q3032255"
From MaRDI portal
The following pages link to Proof theory and computer programming (Q3032255):
Displaying 6 items.
- On reduction rules, meaning-as-use, and proof-theoretic semantics (Q1005958) (← links)
- Constructing recursion operators in intuitionistic type theory (Q1094421) (← links)
- Proofs and programs (Q1408657) (← links)
- Theorem proving method and the computer science (Q2770773) (← links)
- A Proof-Theoretic Account of Programming and the Role of Reduction Rules (Q3830972) (← links)
- Extending the Curry-Howard interpretation to linear, relevant and other resource logics (Q4032664) (← links)