CatLog

swMATH24228MaRDI QIDQ35989

No author found.

Related Items (2)

A Categorial Type Logic ⋮ A logical framework with commutative and non-commutative subexponentials

This page was built for software: CatLog