helm/coq-contribs/LAMBDA-TYPES/description

   1 Name: lambda-delta
   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
   8 Date: March 31, 2005
   9 Description:
  10 Url:
  11 Keywords: lambda-types, lambda-calculus, abbreviations
  12 Version: 7.3.1
  13 Require: