Name: lambda-delta
Title: A formalization of a lambda-typed lambda-calculus with abbreviations
Author: Ferruccio Guidi
Email: fguidi@cs.unibo.it
Homepage: http://www.cs.unibo.it/~fguidi
Institution: Department of Computer Science, University of Bologna
Address: Mura Anteo Zamboni 7, 40127 Bologna, ITALY
Date: March 31, 2005 
Description:
Url:
Keywords: lambda-types, lambda-calculus, abbreviations
Version: 7.3.1
Require: