Interfaces: Explorations in Logic, Language and Computation