Is anyone interested in joining a zoom study group of "Introduction to higher order categorical logic"? -------------- next part -------------- An HTML attachment was scrubbed... URL: </pipermail/fom/attachments/20200418/d4235150/attachment.html>