author="F. {Guidi}",
title="{Lambda Types on the Lambda Calculus with Abbreviations}",
editor="S. {Barry Cooper} and T. F. {Kent} and B. {L\"owe} and A. {Sorbi}", @comment="{\"}",
author="F. {Guidi}",
title="{Lambda Types on the Lambda Calculus with Abbreviations}",
editor="S. {Barry Cooper} and T. F. {Kent} and B. {L\"owe} and A. {Sorbi}", @comment="{\"}",