Call-by-name Gradual Type Theory. - New, Max S.; Licata, Daniel R. (Log. Methods Comput. Sci., 2020)