| Original language | English |
|---|---|
| Title of host publication | 22nd International Workshop on Unification (UNIF-08) |
| Pages | 69-81 |
| Publication status | Published - 2008 |
A Tractable Logic of Types
A M Ramsay
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution