Frade, M. J. (2003). Type-based termination of recursive definitions and constructor subtyping in typed lambda calculi.
Chicago Style (17th ed.) CitationFrade, M. J. Type-based Termination of Recursive Definitions and Constructor Subtyping in Typed Lambda Calculi. 2003.
MLA (8th ed.) CitationFrade, M. J. Type-based Termination of Recursive Definitions and Constructor Subtyping in Typed Lambda Calculi. 2003.
Warning: These citations may not always be 100% accurate.