The top documents tagged [commutative conjunction]
Simply typed lambda-calculus modulo isomorphisms
4.022 views