Normalization for multimodal type theory Download Version Download 38 File Size 231.94 KB File Count 1 Create Date 8 June 2021 Last Updated 8 June 2021 Normalization for multimodal type theory Daniel Gratzer
Leave a Comment