CatLog

swMATH24228MaRDI QIDQ35989FDOQ35989

Author name not available (Why is that?)

Cited In (2)

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

This page was built for software: CatLog