Danko Ilik

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2011

5 Danko Ilik: Continuation-passing Style Models Complete for Intuitionistic Logic CoRR abs/1102.1061: (2011)

2010

4 Danko Ilik, Gyesik Lee, Hugo Herbelin: Kripke models for classical logic. Ann. Pure Appl. Logic 161(11): 1367-1378 (2010)

3 Danko Ilik: Delimited control operators prove Double-negation Shift CoRR abs/1012.0929: (2010)

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

	2011
5		Danko Ilik: Continuation-passing Style Models Complete for Intuitionistic Logic CoRR abs/1102.1061: (2011)
	2010
4		Danko Ilik, Gyesik Lee, Hugo Herbelin: Kripke models for classical logic. Ann. Pure Appl. Logic 161(11): 1367-1378 (2010)
3		Danko Ilik: Delimited control operators prove Double-negation Shift CoRR abs/1012.0929: (2010)
	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

1 Hugo Herbelin [2] [4]

2 Gyesik Lee [2] [4]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page