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*:

*eBook*

*Language*:

*eng*

*ISBN*:

9780262360807

*Result*: Type-logical syntax