A Linear Dependent Type Theory. / Luo, Zhaohui; Zhang, Y.
TYPES 2016: Book of Abstracts. 2016. p. 69-70.Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)
Final published version
Original language | English |
---|---|
Title of host publication | TYPES 2016 |
Subtitle of host publication | Book of Abstracts |
Pages | 69-70 |
Number of pages | 2 |
Publication status | Published - May 2016 |
ID: 27124069