Cody Roux. Size-based termination: Semantics and generalizations. (Terminaison à base de tailles: Sémantique et généralisations). PhD thesis, Henri Poincaré University, Nancy, France, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.