%0 Conference Paper %1 conf/rta/ArbiserMR06 %A Arbiser, Ariel %A Miquel, Alexandre %A Ríos, Alejandro %B RTA %D 2006 %E Pfenning, Frank %I Springer %K dblp %P 181-196 %T A Lambda-Calculus with Constructors. %U http://dblp.uni-trier.de/db/conf/rta/rta2006.html#ArbiserMR06 %V 4098 %@ 3-540-36834-5

@inproceedings{conf/rta/ArbiserMR06, added-at = {2023-06-28T00:00:00.000+0200}, author = {Arbiser, Ariel and Miquel, Alexandre and Ríos, Alejandro}, biburl = {https://www.bibsonomy.org/bibtex/2a877cdcc83b011c5e2c1424c43a36069/dblp}, booktitle = {RTA}, crossref = {conf/rta/2006}, editor = {Pfenning, Frank}, ee = {https://doi.org/10.1007/11805618_14}, interhash = {c202218f985b4061c2f4147fc982854a}, intrahash = {a877cdcc83b011c5e2c1424c43a36069}, isbn = {3-540-36834-5}, keywords = {dblp}, pages = {181-196}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T21:11:23.000+0200}, title = {A Lambda-Calculus with Constructors.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta2006.html#ArbiserMR06}, volume = 4098, year = 2006 }