The following pages link to Pierre-Marie Pédrot (Q2323975):
Displayed 7 items.
- Failure is not an option. An exceptional type theory (Q2323976) (← links)
- Classical By-Need (Q2802497) (← links)
- A functional functional interpretation (Q4635662) (← links)
- The Definitional Side of the Forcing (Q4635893) (← links)
- (Q5144660) (← links)
- Russian Constructivism in a Prefascist Theory (Q5145680) (← links)
- (Q6124933) (← links)