personal page
institute page
On delooping in homotopy type theory and application to Eilenberg-MacLane space types and Steenrod operations:
Last revised on January 31, 2024 at 09:30:01. See the history of this page for a list of all contributions to it.