Chung-Kil Hur

	2009
5		Nick Benton, Chung-Kil Hur: Biorthogonality, step-indexing and compiler correctness. ICFP 2009: 97-108
4		Marcelo P. Fiore, Chung-Kil Hur: Mathematical Synthesis of Equational Deduction Systems. TLCA 2009: 1-2
3		Marcelo P. Fiore, Chung-Kil Hur: On the construction of free algebras for equational systems. Theor. Comput. Sci. 410(18): 1704-1729 (2009)
	2008
2		Marcelo P. Fiore, Chung-Kil Hur: Term Equational Systems and Logics: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 218: 171-192 (2008)
	2007
1		Marcelo P. Fiore, Chung-Kil Hur: Equational Systems and Free Constructions (Extended Abstract). ICALP 2007: 607-618

Coauthor Index

1	Nick Benton (P. N. Benton)	[5]
2	Marcelo P. Fiore	[1] [2] [3] [4]

Colors in the list of coauthors