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}
}