In proceedings details

Proof Net Semantics of Proof Search Computation

Jan 1997

Organization:

Publisher: Springer-Verlag

Authors: Luis Caires, Luís Monteiro

Editors:

Series: Lecture Notes in Computer Science

Volume: 1298

ISSN:

ISBN:

Url:

Notes:

Bibtex Key:

DOI:

Pages: 194 to 208

Publication Date: 1 Jan 1997

Publication File: