π with Leftovers: A Mechanisation in Agda

von Zalakain, Uma
Veröffentlicht in FORTE (41. : 2021 : Online) Formal Techniques for Distributed Objects, Components, and Systems (2021)