Lawrence Cavedon

• Logic, Language and Computation