View in EDS

The three dimensions of proofs

Saved in:
Bibliographic Details
Title: The three dimensions of proofs
Authors: Guiraud, Yves1 http://iml.univ-mrs.fr/~guiraud
Source: Annals of Pure & Applied Logic. Aug2006, Vol. 141 Issue 1/2, p266-295. 30p.
Database: Academic Search Ultimate
Description
ISSN:01680072
DOI:10.1016/j.apal.2005.12.012