%0 Conference Paper %1 conf/ictac/KamareddineNRW08 %A Kamareddine, Fairouz %A Nour, Karim %A Rahli, Vincent %A Wells, J. B. %B ICTAC %D 2008 %E Fitzgerald, John S. %E Haxthausen, Anne E. %E Yenigün, Hüsnü %I Springer %K dblp %P 171-185 %T A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables. %U http://dblp.uni-trier.de/db/conf/ictac/ictac2008.html#KamareddineNRW08 %V 5160 %@ 978-3-540-85761-7

@inproceedings{conf/ictac/KamareddineNRW08, added-at = {2017-05-23T00:00:00.000+0200}, author = {Kamareddine, Fairouz and Nour, Karim and Rahli, Vincent and Wells, J. B.}, biburl = {https://www.bibsonomy.org/bibtex/253d43363e81f776ebb1e4136becece3e/dblp}, booktitle = {ICTAC}, crossref = {conf/ictac/2008}, editor = {Fitzgerald, John S. and Haxthausen, Anne E. and Yenigün, Hüsnü}, ee = {https://doi.org/10.1007/978-3-540-85762-4_12}, interhash = {8310a33be8ebe9da9827e65a481c097e}, intrahash = {53d43363e81f776ebb1e4136becece3e}, isbn = {978-3-540-85761-7}, keywords = {dblp}, pages = {171-185}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-02-29T11:40:01.000+0100}, title = {A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables.}, url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2008.html#KamareddineNRW08}, volume = 5160, year = 2008 }