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!
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!