Up a level |
Eberhard, Sebastian (2015). Applicative theories for logarithmic complexity classes. Theoretical Computer Science, 585, pp. 115-135. Elsevier 10.1016/j.tcs.2015.03.007
Achermann, Franz; Nierstrasz, Oscar (2005). A Calculus for Reasoning about Software Components. Theoretical Computer Science, 331(2-3), pp. 367-396. Elsevier 10.1016/j.tcs.2004.09.022