THE SYNTACTIC SIDE OF AUTONOMOUS CATEGORIES ENRICHED OVER GENERALISED METRIC SPACES.
Saved in:
| Title: | THE SYNTACTIC SIDE OF AUTONOMOUS CATEGORIES ENRICHED OVER GENERALISED METRIC SPACES. |
|---|---|
| Authors: | DAHLQVIST, FREDRIK1, f.dahlqvist@qmul.ac.uk, NEVES, RENATO2, nevrenato@di.uminho.pt |
| Source: | Logical Methods in Computer Science (LMCS); 2023, Vol. 19 Issue 4, p1-42, 42p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
