![](/img/cover-not-exists.png)
[IEEE 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) - Pittsburgh, PA, USA (2008.06.24-2008.06.27)] 2008 23rd Annual IEEE Symposium on Logic in Computer Science - Second-Order and Dependently-Sorted Abstract Syntax
Fiore, MarceloYear:
2008
Language:
english
DOI:
10.1109/lics.2008.38
File:
PDF, 449 KB
english, 2008