[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic...

  • Main
  • [IEEE 2013 Twenty-Eighth Annual...

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - A Categorical Treatment of Ornaments

Dagand, Pierre-Evariste, McBride, Conor
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2013
Language:
english
DOI:
10.1109/lics.2013.60
File:
PDF, 299 KB
english, 2013
Conversion to is in progress
Conversion to is failed