The p-Calculus in Direct Style

GĂ©rard Boudol. The p-Calculus in Direct Style. Higher-Order and Symbolic Computation, 11(2):177-208, 1998.

Abstract

Abstract is missing.