Proof-Net Categories Kosta Došen Zoran Petrić

Name: Proof-Net Categories Kosta Došen Zoran Petrić
Author: Kosta Dosen

by Kosta Dosen · 1 review · 2008

Reviewed by	Journal	Date	Access
Lutz Strassburger	The Bulletin of Symbolic Logic	2008-06-00	Restricted