Taxonomic Search: Peter Vincent Homeier

2 results

Results

file

Visible to the public Program Verification and the Church-Rosser Theorem

License: 
Creative Commons 2.5
file

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

License: 
Creative Commons 2.5