Semantics and Type Theory of S-Net.

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