CatLog

swMATH24228MaRDI QIDQ35989FDOQ35989

Author name not available (Why is that?)

Official website: https://www.cs.upc.edu/~morrill/papers/catlogdemo.pdf

Cited In (3)

• A categorial type logic
• Grail
• A logical framework with commutative and non-commutative subexponentials

This page was built for software: CatLog