*Result*: Type-logical syntax
*Title*:
Type-logical syntax / Yusuke Kubota, Robert D. Levine
*Author/editor-in-chief*:
*Publication*:
Cambridge, Massachusetts : The MIT Press, 2016
*Distribution*:
Cambridge, Massachusetts : MIT Press
*Physical description scale*:
1 online resource.
*Format*:
*Language*:
*eng*
*ISBN*:
9780262360807