%0 Conference Paper %1 conf/rta/CiaffaglioneGHL19 %A Ciaffaglione, Alberto %A Gianantonio, Pietro Di %A Honsell, Furio %A Lenisa, Marina %A Scagnetto, Ivan %B FSCD %D 2019 %E Geuvers, Herman %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 15:1-15:16 %T lambda!-calculus, Intersection Types, and Involutions. %U http://dblp.uni-trier.de/db/conf/rta/fscd2019.html#CiaffaglioneGHL19 %V 131 %@ 978-3-95977-107-8

@inproceedings{conf/rta/CiaffaglioneGHL19, added-at = {2021-10-14T00:00:00.000+0200}, author = {Ciaffaglione, Alberto and Gianantonio, Pietro Di and Honsell, Furio and Lenisa, Marina and Scagnetto, Ivan}, biburl = {https://www.bibsonomy.org/bibtex/252e72210d83bdc8bcdd14b499ea8e9f2/dblp}, booktitle = {FSCD}, crossref = {conf/rta/2019}, editor = {Geuvers, Herman}, ee = {https://doi.org/10.4230/LIPIcs.FSCD.2019.15}, interhash = {b751ac6ccdbe1394d2d6819deab28644}, intrahash = {52e72210d83bdc8bcdd14b499ea8e9f2}, isbn = {978-3-95977-107-8}, keywords = {dblp}, pages = {15:1-15:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T21:06:30.000+0200}, title = {lambda!-calculus, Intersection Types, and Involutions.}, url = {http://dblp.uni-trier.de/db/conf/rta/fscd2019.html#CiaffaglioneGHL19}, volume = 131, year = 2019 }