The following pages link to ModuRes (Q25039):
Displaying 3 items.
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP (Q2198135) (← links)
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types (Q2974778) (← links)