nLab Chung-Kil Hur

• GoogleScholar page

Selected writings

On higher-order abstract syntax:

• Marcelo Fiore, Chung-Kil Hur. Second-order equational logic, International Workshop on Computer Science Logic. Springer, Lecture Notes in Computer Science 6247 (2010) [doi:10.1007/978-3-642-15205-4_26, pdf]

category: people