Semantics and Type Theory of S-Net.
Title | Semantics and Type Theory of S-Net. |
Publication Type | Journal Article |
Year of Publication | 2006 |
Authors | Shafarenko, A, Grelck, C, Scholz, S-B |
Bibtex:
@article {557, title = {Semantics and Type Theory of S-Net.}, year = {2006}, note = {In: Z. Horv{\'a}th, V. Zs{\'o}k (eds.): Proceedings of the 18th International Symposium on Implementation and Application of Functional Laguages (IFL{\textquoteright}06). Budapest, Hungary, September 4-6, 2006. pp. 146-166. E{\"o}tv{\"o}s Lor{\'a}nd University, Faculty of Informatics, Budapest, Hungary, Technical Report 2006-S01, 2006}, author = {Shafarenko, A. and Grelck, C. and S.-B. Scholz} }