The p-Calculus in Direct Style

@article{Boudol1998ThePI,
  title={The p-Calculus in Direct Style},
  author={G{\'e}rard Boudol},
  journal={Higher-Order and Symbolic Computation},
  year={1998},
  volume={11},
  pages={177-208}
}