Visible to the public A Proof of the Church-Rosser Theorem for the Lambda Calculus in Higher Order Logic

Submitted by TimTh on Wed, 02/15/2012 - 3:31pm. Contributor:
License: 
Creative Commons 2.5

Other available formats:

A Proof of the Church-Rosser Theorem for the Lambda Calculus in Higher Order Logic
Switch to experimental viewer