Are you interested in types and programming language, but find the existing books and literature difficult and intimidating? This book will explain get you up-to-speed on terminology and notation so that you can tackle the rest of the field https://www.amazon.com/Type-Theory-Formal-Proof-Introduction/dp/110703650X/ref=sr_1_1?ie=UTF8&qid=1523635477&sr=8-1&keywords=type+theory+and+formal+proof …
-
It doesn't assume much knowledge about notation and explains things thoroughly such that every symbol is made accessible by the time you reach it. I was able to understand it and my math education is pretty poor :)
-
-
Are the concepts and notations similar to what i'm used to as a haskell programmer?
- Show replies
New conversation
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.