ACL Anthology
About
Announcements
Communication channels
Related work
Copyright
Credits
Volunteer
Development
Feedback
Using
Citing papers
Links in the Anthology
Data access
All FAQs
Details
Anthology identifiers
Names
ORCID iDs
DOIs
Verified authors
Contributions
Submissions
Corrections
Author pages
Attachments
GitHub
This page is part of a
temporary preview
of a proposed change that may be incomplete or contain mistakes. It is
not official
and will be removed when the change is merged or abandoned.
Robert
Levine
2019
pdf
bib
Underspecification and interpretive parallelism in Dependent Type Semantics
Yusuke Kubota
|
Koji Mineshima
|
Robert Levine
|
Daisuke Bekki
Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures
Search
Co-authors
Daisuke Bekki
1
Yusuke Kubota
1
Koji Mineshima
1
Venues
CSTFRS
1
Fix author