pdfformat: 

@InProceedings{coppo_et_al:LIPIcs:2014:4629, author = {Mario Coppo and Mariangiola DezaniCiancaglini and Ines Margaria and Maddalena Zacchi}, title = {{Isomorphism of "Functional" Intersection Types}}, booktitle = {19th International Conference on Types for Proofs and Programs (TYPES 2013)}, pages = {129149}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897729}, ISSN = {18688969}, year = {2014}, volume = {26}, editor = {Ralph Matthes and Aleksy Schubert}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2014/4629}, URN = {urn:nbn:de:0030drops46296}, doi = {10.4230/LIPIcs.TYPES.2013.129}, annote = {Keywords: Type Isomorphism, Lambda calculus, Intersection Types} }
Keywords:  Type Isomorphism, Lambda calculus, Intersection Types  
Seminar:  19th International Conference on Types for Proofs and Programs (TYPES 2013)  
Issue date:  2014  
Date of publication:  2014 