Chu spaces as a semantic bridge between linear logic and mathematics
Theoretical Computer Science - Linear logic
Higher dimensional automata revisited
Mathematical Structures in Computer Science
Chu I: cofree equivalences, dualities and *-autonomous categories
Mathematical Structures in Computer Science
An application of relation algebra to lexical databases
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
An FCA interpretation of relation algebra
ICFCA'06 Proceedings of the 4th international conference on Formal Concept Analysis
Hi-index | 0.00 |