Get Formal Semantics in Modern Type Theories by Stergios Chatzikyriakidis at the best price and quality guranteed only at Werezi Africa largest book ecommerce store. The book was published by ISTE Ltd and John Wiley & Sons Inc and it has pages. Enjoy Shopping Best Offers & Deals on books Online from Werezi - Receive at your doorstep - Fast Delivery - Secure mode of Payment