Vol-1784⫷ Vol-1785 ⫸Vol-1786
urn:nbn:de:0074-1785-0


Vol-1785/mathui⫷Vol-1785/M1⫸Vol-1785/M2

Towards Visual Type Theory as a Mathematical Tool and Mathematical User Interface