Pages that link to "Item:Q5176962"
From MaRDI portal
The following pages link to A semantic model for graphical user interfaces (Q5176962):
Displaying 5 items.
- Abstract categorical semantics for resourceful functional reactive programming (Q338619) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types (Q2974778) (← links)
- (Q5119390) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
