Undecidability of Higher-Order Unification Formalised in Coq

POPL 2020

Undecidability of Higher-Order Unification Formalised in Coq

Sep 17, 2020
|
21 views
Details
Presenter: Simon Spies Presented at CPP'20, colocated with POPL 2020.

Comments
loading...