The following pages link to Guillaume Munch-MacCagnoni (Q2828242):
Displaying 6 items.
- A theory of effects and resources: adjunction models and polarised calculi (Q2828243) (← links)
- The Duality of Computation under Focus (Q3163882) (← links)
- Focalisation and Classical Realisability (Q3644763) (← links)
- Formulae-as-types for an involutive negation (Q4635655) (← links)
- Polarised Intermediate Representation of Lambda Calculus with Sums (Q4635798) (← links)
- Models of a Non-associative Composition (Q5410686) (← links)
