The following pages link to Clément Houtmann (Q2873777):
Displaying 6 items.
- Distributive ρ-calculus (Q2873778) (← links)
- Orthogonality and Boolean Algebras for Deduction Modulo (Q3007658) (← links)
- Strong normalisation in two Pure Pattern Type Systems (Q3520143) (← links)
- Superdeduction at Work (Q3608815) (← links)
- Axiom Directed Focusing (Q3638252) (← links)
- (Q4964697) (← links)
