Rohan French
About
Publications
Non-triviality Done Proof-Theoretically