%0 Journal Article %1 journals/fuin/KamareddineNRW12 %A Kamareddine, Fairouz %A Nour, Karim %A Rahli, Vincent %A Wells, J. B. %D 2012 %J Fundam. Informaticae %K dblp %N 1-4 %P 153-184 %T On Realisability Semantics for Intersection Types with Expansion Variables. %U http://dblp.uni-trier.de/db/journals/fuin/fuin121.html#KamareddineNRW12 %V 121

@article{journals/fuin/KamareddineNRW12, added-at = {2020-09-18T00:00:00.000+0200}, author = {Kamareddine, Fairouz and Nour, Karim and Rahli, Vincent and Wells, J. B.}, biburl = {https://www.bibsonomy.org/bibtex/2e3f3908ce2963aa669bc249ff4e4d9dc/dblp}, ee = {https://doi.org/10.3233/FI-2012-774}, interhash = {2b1d517b3d15558a499064e5d4e4f372}, intrahash = {e3f3908ce2963aa669bc249ff4e4d9dc}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = {1-4}, pages = {153-184}, timestamp = {2020-09-19T11:36:40.000+0200}, title = {On Realisability Semantics for Intersection Types with Expansion Variables.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin121.html#KamareddineNRW12}, volume = 121, year = 2012 }