Cite
Higher-order probabilistic adversarial computations: Categorical semantics and program logics
MLA
Aguirre, Alejandro, et al. Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics. 2021. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2107.01155&authtype=sso&custid=ns315887.
APA
Aguirre, A., Barthe, G., Gaboardi, M., Garg, D., Katsumata, S., & Sato, T. (2021). Higher-order probabilistic adversarial computations: Categorical semantics and program logics.
Chicago
Aguirre, Alejandro, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, and Tetsuya Sato. 2021. “Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics.” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2107.01155&authtype=sso&custid=ns315887.