RanaldClouston"The category of nominal sets is locally Clouston closed"
I have become jargon?!
https://ul-fmf.github.io/mfps-sstt-2026/mfps-accepted-papers/
Clément AubertThe pre-print is now available at https://www.coalg.org/calco-mfps-2025/pre-proceedings/MFPS25-29.pdf , it will be the last talk of the day at #MFPS on Thursday!
#CallForPapers : #MFPS #MFPS2023 (Conference on Mathematical Foundations of Programming Semantics) is "dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular". https://coalg.org/calco-mfps-2023/mfps/ #logic #tcs #theoreticalCS
bblfishValeria de Paiva wrote:
> The first call of papers for Conference on #Algebra and #Coalgebra in Computer Science (CALCO 2023) is OUT!! hurray! send us your best work, will you? check dates and everything at https://coalg.org/calco-mfps-2023 #mfps
> The first call of papers for Conference on #Algebra and #Coalgebra in Computer Science (CALCO 2023) is OUT!! hurray! send us your best work, will you? check dates and everything at https://coalg.org/calco-mfps-2023 #mfps