Proof-net categories
By: Kosta Dos̆en, Zoran Petrić
Contributors: Petrić, Zoran
Publisher: Polimetrica
Published: 2007
Place of publication: Milan
Language: eng
Number of pages: 147
ISBN-13: 9788876990809
Subjects: Categories (Mathematics); Proof theory
Notes: Includes bibliographical references and index.