Inproceedings,

Appositive Projection as Implicit Context Extension in Dependent Type Semantics.

, , and .
LENLS, volume 14569 of Lecture Notes in Computer Science, page 224-243. Springer, (2023)

Meta data

Tags

Users

  • @dblp

Comments and Reviews