Samson Abramsky Proofs as Processes. 5-9 1994 135 Theor. Comput. Sci. 1 db/journals/tcs/tcs135.html#Abramsky94 https://doi.org/10.1016/0304-3975(94)00103-0 https://www.wikidata.org/entity/Q57006884