The following pages link to Lars Birkedal (Q444497):
Displaying 6 items.
- Relational Parametricity and Separation Logic (Q5758059) (← links)
- Foundations of Software Science and Computation Structures (Q5899088) (← links)
- A constraint-based region inference algorithm (Q5941200) (← links)
- A model of PCF in guarded type theory (Q5971407) (← links)
- A stratified approach to Löb induction (Q6544118) (← links)
- {mitten}: a flexible multimodal proof assistant (Q6643034) (← links)