Dariusz Kusmierek

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2007

2 Dariusz Kusmierek: The Inhabitation Problem for Rank Two Intersection Types. TLCA 2007: 240-254

1 Dariusz Kusmierek: The Inhabitation Problem for Rank Two Intersection Types CoRR abs/cs/0701029: (2007)

	2007
2		Dariusz Kusmierek: The Inhabitation Problem for Rank Two Intersection Types. TLCA 2007: 240-254
1		Dariusz Kusmierek: The Inhabitation Problem for Rank Two Intersection Types CoRR abs/cs/0701029: (2007)

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —

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