The following pages link to Pierre Hyvernat (Q2017047):
Displayed 7 items.
- Some properties of inclusions of multisets and contractive Boolean operators (Q2017048) (← links)
- Coherent and finiteness spaces (Q3224681) (← links)
- (Q4685318) (← links)
- (Q5155674) (← links)
- Computer Science Logic (Q5311250) (← links)
- A Linear Category of Polynomial Functors (extensional part) (Q5417741) (← links)
- A linear category of polynomial diagrams (Q5740350) (← links)