Mikołaj Bojańczyk

Foundations of Software Science and Computation Structures