Login / Signup

A Simplified Proof of the Church-Rosser Theorem.

Yuichi KomoriNaosuke MatsudaFumika Yamakawa
Published in: Stud Logica (2014)
Keyphrases