MODAL HOMOTOPY TYPE THEORY IN AGDA FOR MODELING COMPLEX SYSTEMS

Goteborgs Universitet

Investigators