The following pages link to Aloïs Brunel (Q2343126):
Displayed 5 items.
- Quantitative classical realizability (Q2343127) (← links)
- Realizability models for a linear dependent PCF (Q2346992) (← links)
- Non-constructive complex analysis in Coq (Q2957693) (← links)
- Orthogonality and Boolean Algebras for Deduction Modulo (Q3007658) (← links)
- A Core Quantitative Coeffect Calculus (Q5410709) (← links)