Books by Yusuke Kubota

Type-Logical Syntax

Yusuke Kubota, Robert D. Levine