A Tractable Logic of Types

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Authors:
  • A M Ramsay

Bibliographical metadata

Original languageEnglish
Title of host publication22nd International Workshop on Unification (UNIF-08)
Pages69-81
Publication statusPublished - 2008