International workshop on Proof, Structure, and Computation (workshop)

User Publication Person Organisation Collection