Homotopy Type Theory: Programming and Verification الإنجليزية (Q4053666)
research project الإنجليزية
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | لم تُضف التسمية |
لا يوجد وصف |
|
| الإنجليزية | Homotopy Type Theory: Programming and Verification |
research project |
بيانات
Wikidata item الإنجليزية
instance of الإنجليزية
location الإنجليزية
participant الإنجليزية
Nicola Gambino الإنجليزية
object named as الإنجليزية
Nicola Gambino
object has role الإنجليزية
principal investigator الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
Department of Pure Mathematics الإنجليزية
object named as الإنجليزية
Pure Mathematics
object has role الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
object named as الإنجليزية
Chalmers University of Technology
object has role الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
object named as الإنجليزية
University of Cambridge
object has role الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
start time الإنجليزية
end time الإنجليزية
country الإنجليزية
budget الإنجليزية
official name الإنجليزية
Homotopy Type Theory: Programming and Verification (الإنجليزية البريطانية)
١ مراجع
Imported from Wikidata item الإنجليزية