TY  - RPRT
TI  - Inductive and Coinductive Predicate Liftings for Effectful Programs
AU  - Niccolò Veltri
AU  - Niels F. W. Voorneveld
PY  - 2021
DO  - 10.4204/eptcs.351.16
UR  - https://arxiv.org/abs/2112.14057
ID  - 2112.14057
ER  -