5 ms·

Is there any good book that provides an overview and reasoning behind all those concepts in this timeline?

• yaseer 7y ago
  Not that I'm aware of. If you produced a mind-map to show their inter-relatedness, It's quite a dense network. A quick sketch of some of the nodes and vertices might start to look like: Logic <--> Gödel's theorems Gödel's theorems <--> Proof theory Proof Theory <--> Linear Logic Computability <---> Turing Machines Computability <---> Lambda Calculus Combinatory Logic <--> Lambda Calculus Type Theory <--> Lambda Calculus Homotopy Type Theory <--> Type Theory Pi Calculus <--> Process Calculi/Distributed Systems Category Theory <--> Everything... And that's far from complete. I imagine synthesising all the concepts into a single book, with a cohesive narrative would be quite hard, without some deeper unifying theory, uniting all concepts. (Category theory and HTT may be the best contenders). In this case, a Wiki might best capture the semantics of structure. Although I'd love to be proved wrong and find such a book!
  • chewxy 7y ago
    ncatlab.org
• vector_spaces 7y ago
  There's A Path to Programming Language Theory, which is a list of resources for learning this material -- it seems pretty comprehensive, but as you can see it involves a lot of different resources. I'm not sure that any one book could give a decent overview of the field: https://steshaw.org/plt/ https://steshaw.org/plt/
• DonaldPShimoda 7y ago
  The more PL-focused aspects of this timeline (prior to the 1990s) are covered in Part 1 of "Semantics Engineering with PLT Redex". We used it for my operational semantics class and I thought it was good, but I also had one of the authors as the professor haha.