-
1
المؤلفون: Ljungström, Axel, 1995
المساهمون: Mörtberg, Anders, Finster, Eric
مصطلحات موضوعية: Homotopy Type Theory, Cohomology, Formalisation
وصف الملف: electronic
URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-216940
https://su.diva-portal.org/smash/get/diva2:1755291/FULLTEXT01.pdf -
2
المؤلفون: Robbestad Gylterud, Håkon, 1988
المساهمون: Palmgren, Erik, Professor, Gambino, Nicola, Associate Professor
مصطلحات موضوعية: type theory, homotopy type theory, dependent types, constructive set theory, databases, formalisation, agda, Mathematics, matematik
وصف الملف: electronic
URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-136896
https://su.diva-portal.org/smash/get/diva2:1057566/PREVIEW01.jpg
https://su.diva-portal.org/smash/get/diva2:1057566/FULLTEXT02.pdf -
3
المؤلفون: Benjamin, Thibaut
مصطلحات موضوعية: Theory of computation → Categorical semantics, Dependent type theory, higher categories, proof assistant, homotopy type theory, Theory of computation → Type theory, Agda, formalisation
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a7a855ba18cdbc545c311af40ea5cfc8
-
4
المؤلفون: Piceghello, Stefano
المصدر: Leibniz International Proceedings in Informatics
8:1-8:20مصطلحات موضوعية: groupoids, homotopy type theory, Theory of computation → Type theory, coherence, formalisation, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, Mathematics::Category Theory, monoidal categories, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, higher inductive types, Computer Science::Programming Languages, Coq, Theory of computation → Constructive mathematics
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::27bfa07438ab76772afa9e60f3e634aa
-
5مؤتمر
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
6مؤتمر
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.