personal page
institute page
On delooping in homotopy type theory and application to Eilenberg-MacLane spaces and Steenrod operations:
Last revised on February 28, 2023 at 19:05:37. See the history of this page for a list of all contributions to it.