TY  - RPRT
TI  - A Short Mechanized Proof of the Church-Rosser Theorem by the Z-property for the $λβ$-calculus in Nominal Isabelle
AU  - Julian Nagele
AU  - Vincent van Oostrom
AU  - Christian Sternagel
PY  - 2016
UR  - https://arxiv.org/abs/1609.03139
ID  - 1609.03139
ER  -