25,161
edits
Changes
no edit summary
* [[Arie de Bruin]] ('''1984'''). ''[https://www.researchgate.net/publication/220616549_On_the_Existence_of_Cook_Semantics On the Existence of Cook Semantics]''. [https://en.wikipedia.org/wiki/SIAM_Journal_on_Computing SIAM Journal on Computing], Vol. 13, No. 1 » [[Mathematician#SCook|Stephen Cook]]
==1985 ...==
* [[Arie de Bruin]], [[Mathematician#APWBohm|A. P. Wim Böhm]] ('''1985'''). ''The Denotational Semantics of Dynamic Networks of Processes''. [[ACM#TOPLAS|ACM Transactions on Programming Languages and Systems]], Vol. 7, No. 4
* [[Arie de Bruin]] ('''1986'''). ''Experiments with Continuation Semantics: Jumps, Backtracking, Dynamic Networks''. Ph.D. thesis, [https://en.wikipedia.org/wiki/Vrije_Universiteit_Amsterdam Vrije Universiteit Amsterdam]
* [[Arie de Bruin]], [[Mathematician#EPdeVink|Erik P. de Vink]] ('''1989'''). ''Continuation Semantics for PROLOG with Cut''. [https://dblp.uni-trier.de/db/conf/tapsoft/tapsoft89-1.html TAPSOFT], Vol. 1
