Danko Ilik

List of publications from the DBLP Bibliography Server - FAQ

2009

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

2006

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

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

Coauthor Index