An Example of Translation and Proof using Higher-Order Abstract Syntax
https://www.powershow.com/view1/20ff85-ZDc1Z/An_Example_of_Translation_and_Proof_using_Higher-Order_Abstract_Syntax_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
