Danko Ilik

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

2 Danko Ilik, Gyesik Lee, Hugo Herbelin: Kripke Models for Classical Logic CoRR abs/0904.0071: (2009)

2006

1 Danko Ilik: Zermelo's Well-Ordering Theorem in Type Theory. TYPES 2006: 175-187

	2009
2		Danko Ilik, Gyesik Lee, Hugo Herbelin: Kripke Models for Classical Logic CoRR abs/0904.0071: (2009)
	2006
1		Danko Ilik: Zermelo's Well-Ordering Theorem in Type Theory. TYPES 2006: 175-187

Coauthor Index