# Decidable Subtyping for Path Dependent Types

> 2020 doctoral thesis by Julian Mackay at Victoria University of Wellington

**Wikidata**: [Q112952900](https://www.wikidata.org/wiki/Q112952900)  
**Source**: https://4ort.xyz/entity/decidable-subtyping-for-path-dependent-types


## References

1. [Source](https://doi.org/10.26686/wgtn.17148098)