Kosta Došen

Kosta Došen

2 books in the database

Books

Substructural logicsKosta Došen

Substructural logics

Kosta Došen · 1994

Proof-net categoriesKosta Došen

Proof-net categories

Kosta Došen · 2007