TType-Logical SyntaxType-Logical Syntaxde Yusuke Kubota, Robert D. LevineMateriasLanguage and languagesEdiciones (1)Type-Logical Syntax (2020)MIT Press · inglés · ISBN 9780262539746