Decidable Subtyping for Path Dependent Types الإنجليزية (Q3500463)
أطروحة أكاديمية
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | لم تُضف التسمية |
أطروحة أكاديمية |
|
| الإنجليزية | Decidable Subtyping for Path Dependent Types |
2020 doctoral thesis by Julian Mackay at Victoria University of Wellington |
بيانات
Wikidata item الإنجليزية
publication date الإنجليزية
publisher الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
title الإنجليزية
Decidable Subtyping for Path Dependent Types (الإنجليزية)
١ مراجع
Imported from Wikidata item الإنجليزية
language of work or name الإنجليزية
instance of الإنجليزية
country of origin الإنجليزية
copyright status الإنجليزية
author الإنجليزية
Julian Mackay الإنجليزية
object named as الإنجليزية
Mackay, Julian
١ مراجع
Imported from Wikidata item الإنجليزية
main subject الإنجليزية