From: Lawrence Paulson <lp15@cam.ac.uk>
I am happy to announce a new contribution to the AFP by one of our more prolific contributors, Pasquale Noce.
https://www.isa-afp.org/entries/Relational_Method.html
Larry Paulson
Last updated: Mar 29 2024 at 01:04 UTC