pdf bibUnderspecification and interpretive parallelism in Dependent Type SemanticsYusuke Kubota | Koji Mineshima | Robert Levine | Daisuke BekkiProceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures