Mikołaj Bojańczyk

• Foundations of Software Science and Computation Structures