NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Modal Subordination in Dependent Type Semantics
Aoi Iimura
|
Teruyuki Mizuno
|
Daisuke Bekki
|
Paper Details:
Month: September
Year: 2025
Location: Düsseldorf, Germany
Venue:
BriGap |
WS |
SIG: SIGSEM
Citations
URL
No Citations Yet
https://github.com/iimuraaoi/modal_dts.git
Field Of Study