# Ownership and Immutability in Coq

> 2013 master's thesis by Julian Mackay at Victoria University of Wellington

**Wikidata**: [Q112900785](https://www.wikidata.org/wiki/Q112900785)  
**Source**: https://4ort.xyz/entity/ownership-and-immutability-in-coq


## References

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