SAKAI Masahiro - Church-Rosser property Diff
- Added parts are displayed like this.
- Deleted parts are displayed
like this.
= Church-Rosser property <チャーチ・ロッサー性>
* LFでの証明。((<A Proof of the Church-Rosser Theorem and its Representation in a Logical Framework|URL:http://citeseer.ist.psu.edu/pfenning92proof.html>))
* Agdaでの証明。((<d:20070824#p01>))
* LFでの証明。((<A Proof of the Church-Rosser Theorem and its Representation in a Logical Framework|URL:http://citeseer.ist.psu.edu/pfenning92proof.html>))
* Agdaでの証明。((<d:20070824#p01>))