View in EDS PDF Full Text

Some General Results About Proof Normalization.

Saved in:
Bibliographic Details
Title: Some General Results About Proof Normalization.
Authors: Aiguier, Marc1 marc.aiguier@ecp.fr, Longuet, Delphine2 delphine.longuet@lri.fr
Source: Logica Universalis. Mar2010, Vol. 4 Issue 1, p1-29. 29p.
Database: Mathematics Source
Description
ISSN:16618297
DOI:10.1007/s11787-010-0011-4