1. Point-free foundation of Mathematics Dr M Benini Università degli Studi dell’Insubria Correctness by Construction research project visiting Yonsei University [email protected]…
