Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/wollic/VenturaAK10
%A Ventura, Daniel Lima
%A Ayala-Rincón, Mauricio
%A Kamareddine, Fairouz
%B WoLLIC
%D 2010
%E Dawar, Anuj
%E de Queiroz, Ruy J. G. B.
%I Springer
%K
%P 232-246
%T Intersection Type Systems and Explicit Substitutions Calculi.
%U http://dblp.uni-trier.de/db/conf/wollic/wollic2010.html#VenturaAK10
%V 6188
%@ 978-3-642-13823-2
@inproceedings{conf/wollic/VenturaAK10,
added-at = {2023-12-13T02:26:56.000+0100},
author = {Ventura, Daniel Lima and Ayala-Rincón, Mauricio and Kamareddine, Fairouz},
biburl = {https://www.bibsonomy.org/bibtex/23dbf61235aeff4696f4ca8dccf1d6eb1/admin},
booktitle = {WoLLIC},
crossref = {conf/wollic/2010},
editor = {Dawar, Anuj and de Queiroz, Ruy J. G. B.},
ee = {https://www.wikidata.org/entity/Q58001448},
interhash = {7f57551085831e423442e7dcd28f32cb},
intrahash = {3dbf61235aeff4696f4ca8dccf1d6eb1},
isbn = {978-3-642-13823-2},
keywords = {},
pages = {232-246},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-13T02:26:56.000+0100},
title = {Intersection Type Systems and Explicit Substitutions Calculi.},
url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2010.html#VenturaAK10},
volume = 6188,
year = 2010
}
