%0 Conference Paper %1 conf/lenls/MatsuokaBY23 %A Matsuoka, Daiki %A Bekki, Daisuke %A Yanaka, Hitomi %B LENLS %D 2023 %E Bekki, Daisuke %E Mineshima, Koji %E McCready, Elin %I Springer %K dblp %P 224-243 %T Appositive Projection as Implicit Context Extension in Dependent Type Semantics. %U http://dblp.uni-trier.de/db/conf/lenls/lenls2023.html#MatsuokaBY23 %V 14569 %@ 978-3-031-60878-0

@inproceedings{conf/lenls/MatsuokaBY23, added-at = {2024-06-18T00:00:00.000+0200}, author = {Matsuoka, Daiki and Bekki, Daisuke and Yanaka, Hitomi}, biburl = {https://www.bibsonomy.org/bibtex/2e2b1ba36fcb2e1e06218b241209876cf/dblp}, booktitle = {LENLS}, crossref = {conf/lenls/2023}, editor = {Bekki, Daisuke and Mineshima, Koji and McCready, Elin}, ee = {https://doi.org/10.1007/978-3-031-60878-0_13}, interhash = {f455e95ae7cd04b93f5ad683a5d8964f}, intrahash = {e2b1ba36fcb2e1e06218b241209876cf}, isbn = {978-3-031-60878-0}, keywords = {dblp}, pages = {224-243}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-06-24T07:32:09.000+0200}, title = {Appositive Projection as Implicit Context Extension in Dependent Type Semantics.}, url = {http://dblp.uni-trier.de/db/conf/lenls/lenls2023.html#MatsuokaBY23}, volume = 14569, year = 2023 }