@inbook{roux-2014-the, title={The Structural Theory of Pure Type Systems}, ISBN={9783319089188}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-319-08918-8_25}, DOI={10.1007/978-3-319-08918-8_25}, booktitle={Rewriting and Typed Lambda Calculi}, publisher={Springer International Publishing}, author={Roux, Cody and van Doorn, Floris}, year={2014}, pages={364–378} }