contribution about \lambda-\delta

[helm.git] / helm / coq-contribs / LAMBDA-TYPES / description

diff --git a/helm/coq-contribs/LAMBDA-TYPES/description b/helm/coq-contribs/LAMBDA-TYPES/description
new file mode 100644 (file)
index 0000000..06f6623
--- /dev/null
+++ b/helm/coq-contribs/LAMBDA-TYPES/description
@@ -0,0 +1,13 @@
+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: