]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1a009d2) | patch
context-free parallel reduction on closures is confluent!
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 16 Oct 2012 18:11:21 +0000 (18:11 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 16 Oct 2012 18:11:21 +0000 (18:11 +0000)
commit85a42e4a2a4c62818b6a98eff545e58ceb8770a4
tree720bc8fea3058a3647d65fa3ae298c6ef189da30tree | snapshot
parent1a009d2d2ca666befca9d3d18fa3cbc462c36963commit | diff
context-free parallel reduction on closures is confluent!
matita/matita/contribs/lambda_delta/basic_2/notation.ma diff | blob | history
matita/matita/contribs/lambda_delta/basic_2/reducibility/fpr_cpr.ma diff | blob | history
matita/matita/contribs/lambda_delta/basic_2/reducibility/fpr_fpr.ma [new file with mode: 0644] blob
matita/matita/contribs/lambda_delta/basic_2/reducibility/tpr.ma diff | blob | history
matita/matita/contribs/lambda_delta/basic_2/substitution/tps.ma diff | blob | history
matita/matita/contribs/lambda_delta/ground_2/star.ma diff | blob | history
matita/matita/lib/basics/relations.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.