Correct and Complete Type Checking and Certified Erasure for Coq, in Coq

MLA

Sozeau, Matthieu, et al. Correct and Complete Type Checking and Certified Erasure for Coq, in Coq. Apr. 2023. 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=edsair&AN=edsair.od.......165..9c9645ac79da0b731d3141a224bb241e&authtype=sso&custid=ns315887.

APA

Sozeau, M., Forster, Y., Lennon-Bertrand, M., Nielsen, J., Tabareau, N., & Winterhalter, T. (2023). Correct and Complete Type Checking and Certified Erasure for Coq, in Coq.

Chicago

Sozeau, Matthieu, Yannick Forster, Meven Lennon-Bertrand, Jakob Nielsen, Nicolas Tabareau, and Théo Winterhalter. 2023. “Correct and Complete Type Checking and Certified Erasure for Coq, in Coq,” April. 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=edsair&AN=edsair.od.......165..9c9645ac79da0b731d3141a224bb241e&authtype=sso&custid=ns315887.