]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 278be9d) | patch
finite lambda calculus
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 24 Dec 2014 09:56:26 +0000 (09:56 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 24 Dec 2014 09:56:26 +0000 (09:56 +0000)
commit3131bba5ab61966ab34a439f8d02268a0ab2c284
tree1ce72492b6dd7dad6581fff4e5dbe7c988d13998tree | snapshot
parent278be9d611634dce13657bbe14b5c1bb4f7dd2becommit | diff
finite lambda calculus
matita/matita/lib/finite_lambda/confluence.ma [new file with mode: 0644] blob
matita/matita/lib/finite_lambda/finite_lambda.ma [new file with mode: 0644] blob
matita/matita/lib/finite_lambda/finite_lambda_deep.ma [new file with mode: 0644] blob
matita/matita/lib/finite_lambda/reduction.ma [new file with mode: 0644] blob
matita/matita/lib/finite_lambda/terms_and_types.ma [new file with mode: 0644] blob
matita/matita/lib/finite_lambda/typing.ma [new file with mode: 0644] blob
matita/matita/lib/finite_lambda/typing_deep.ma [new file with mode: 0644] blob
matita/matita/lib/finite_lambda/typing_old.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.