nLab Kosta Došen

Selected writings

Kosta Došen (1954-2017)

  • personal page

  • Peter Schroeder-Heister, Kosta Došen (1954-2017), Studia Logica: An International Journal for Symbolic Logic 107 1, General Proof Theory (February 2019) 7-9 [jstor:45096838]

Selected writings

On substructural logic:

On proof theory (cut elimination) and category theory:

On structures similar to duoidal categories:

category: people

Last revised on May 1, 2024 at 19:06:52. See the history of this page for a list of all contributions to it.