The following pages link to (Q2753680):
Displaying 9 items.
- A relational semantics for parallelism and non-determinism in a functional setting (Q408545) (← links)
- The Scott model of linear logic is the extensional collapse of its relational model (Q418011) (← links)
- On the concurrent computational content of intermediate logics (Q1989344) (← links)
- A call-by-name lambda-calculus machine (Q2464723) (← links)
- On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC (Q2974784) (← links)
- (Q3384877) (← links)
- A Relational Model of a Parallel and Non-deterministic λ-Calculus (Q3605523) (← links)
- (Q4957787) (← links)
- Proofs, Reasoning and the Metamorphosis of Logic (Q5251186) (← links)