Galois connections in categorial type logic
| Authors |
|
|---|---|
| Publication date | 2001 |
| Book title | Proceedings of Mathematics of Language and Formal Grammar, Helsinki, Finland, Augustus 2001 |
| Organisations |
|
| Document type | Conference contribution |
| Language | English |
| Related publication | Galois connections in categorial type logic |
| Permalink to this page | |