%0 Conference Paper %1 conf/latin/BlooKLN02 %A Bloo, Roel %A Kamareddine, Fairouz %A Laan, Twan %A Nederpelt, Rob %B LATIN %D 2002 %E Rajsbaum, Sergio %I Springer %K dblp %P 371-385 %T Parameters in Pure Type Systems. %U http://dblp.uni-trier.de/db/conf/latin/latin2002.html#BlooKLN02 %V 2286 %@ 3-540-43400-3

@inproceedings{conf/latin/BlooKLN02, added-at = {2017-05-23T00:00:00.000+0200}, author = {Bloo, Roel and Kamareddine, Fairouz and Laan, Twan and Nederpelt, Rob}, biburl = {https://www.bibsonomy.org/bibtex/2e20f7563d7dc8620c80a98496f36ce15/dblp}, booktitle = {LATIN}, crossref = {conf/latin/2002}, editor = {Rajsbaum, Sergio}, ee = {https://doi.org/10.1007/3-540-45995-2_34}, interhash = {21ba23474352403efd7dd8664c06f423}, intrahash = {e20f7563d7dc8620c80a98496f36ce15}, isbn = {3-540-43400-3}, keywords = {dblp}, pages = {371-385}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:17:14.000+0200}, title = {Parameters in Pure Type Systems.}, url = {http://dblp.uni-trier.de/db/conf/latin/latin2002.html#BlooKLN02}, volume = 2286, year = 2002 }