×
  • Formal Semantics in Modern Type Theories

    Stergios Chatzikyriakidis Zhaohui Luo

Click on cover to enlarge.
Buy This Book
From Amazon.
5 - 6Hours to read