Go to the corresponding LIPIcs Volume Portal 
Ciaffaglione, Alberto ; Di Gianantonio, Pietro ; Honsell, Furio ; Lenisa, Marina ; Scagnetto, Ivan
pdfformat: 

@InProceedings{ciaffaglione_et_al:LIPIcs:2019:10522, author = {Alberto Ciaffaglione and Pietro Di Gianantonio and Furio Honsell and Marina Lenisa and Ivan Scagnetto}, title = {{lambda!calculus, Intersection Types, and Involutions}}, booktitle = {4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)}, pages = {15:115:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959771078}, ISSN = {18688969}, year = {2019}, volume = {131}, editor = {Herman Geuvers}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2019/10522}, URN = {urn:nbn:de:0030drops105228}, doi = {10.4230/LIPIcs.FSCD.2019.15}, annote = {Keywords: Affine Combinatory Algebra, Affine Lambdacalculus, Intersection Types, Geometry of Interaction} }
Keywords:  Affine Combinatory Algebra, Affine Lambdacalculus, Intersection Types, Geometry of Interaction  
Collection:  4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)  
Issue Date:  2019  
Date of publication:  18.06.2019 