Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. S.Abramsky, On the Semantic Foundations of applicative Multiprogramming, Proc. ICALP'83, LNCS 154, 1983
2. ADJ (= J.A.Goguen,J.W.Thatcher,E.G.Wagner,J.B.Wright) A uniform approach to inductive posets and inductive closure, in MFCS'78 (J.Gruska, ed.), LNCS 53, Springer Verlag 1977, also in TCS 7, 1978
3. K.R.Apt, G.D.Plotkin, A Cook's tour of countable non-determinism, ICALP '81, LNCS 115, Springer Verlag 1981
4. M.Barr,C.Wells, Toposes, triples and theories, Springer Verlag 1985
5. J.Beck, Distributive Laws, LNiMath 80, 1969
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献