[ACM Press the 2014 International Workshop - Vienna, Austria (2014.07.17-2014.07.17)] Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice - LFMTP '14 - Some constructions on ω-groupoids
Altenkirch, Thorsten, Li, Nuo, Rypáček, OndřejYear:
2014
Language:
english
DOI:
10.1145/2631172.2631176
File:
PDF, 311 KB
english, 2014