CatLog

MaRDI QIDQ35989swMATHFDO

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