Toby Cathcart Burn
I am studying higher-order Horn clauses, with a focus on their applications for higher-order program verification.
Higher−order Constrained Horn Clauses for Verification
Cathcart Burn‚ Toby‚ C.−H. Luke Ong and Steven J. Ramsay
In Proc. ACM Program. Lang.. Vol. 2. No. POPL. Pages 11:1–11:28. December, 2017.