TOWARDS A Finite model theory for higher-order program verification
https://www.powershow.com/view4/7d9e89-NTk5M/TOWARDS_A_Finite_model_theory_for_higher-order_program_verification_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
