A Rewrite System for Strongly Normalizable Terms Olivier Hermant1 and Ronan Saillard1,2 1 2 - Proof calculus - Document - PDFSEARCH.IO

First Page	Meta Content
	A Rewrite System for Strongly Normalizable Terms Olivier Hermant1 and Ronan Saillard1,2 1 2 Add to Reading List Document Date: 2015-02-16 03:50:46 Open Document File Size: 543,44 KB Share Result on Facebook Company Creative Commons / Dagstuhl Publishing / / Country Germany / / / Facility PSL Research University / / Organization U.S. Securities and Exchange Commission / PSL Research University / / Person Olivier Hermant / Richard Statman / Rick Statman / Bill Editors / Ronan Saillard / / / Position Editor / / Technology Digital Object Identifier / / URL http / SocialTag Logic in computer science Proof theory Symbol Function Lambda calculus Combinatory logic Natural deduction Mathematics Mathematical logic Theoretical computer science

A Rewrite System for Strongly Normalizable Terms Olivier Hermant1 and Ronan Saillard1,2 1 2Add to Reading List