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)
Published
Links
- http://www.types2016.uns.ac.rs/images/abstracts/luo.pdf
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 |
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.
ID: 27124069