![](/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 - General Structural Operational Semantics through Categorical Logic
Staton, SamYear:
2008
Language:
english
DOI:
10.1109/LICS.2008.43
File:
PDF, 351 KB
english, 2008