2 Title: A formalization of a lambda-typed lambda-calculus with abbreviations
3 Author: Ferruccio Guidi
4 Email: fguidi@cs.unibo.it
5 Homepage: http://www.cs.unibo.it/~fguidi
6 Institution: Department of Computer Science, University of Bologna
7 Address: Mura Anteo Zamboni 7, 40127 Bologna, ITALY
11 Keywords: lambda-types, lambda-calculus, abbreviations