I am a student working on network protocols. Now I have a rough idea
to use mathematical tools, e.g. formal methods, to examine or even
build the model of protocols.
As I have no in-depth concept of these tools, I would like now ask
some naive questions:
1. What is the relationship between formal methods and type theory, as
some papers mentioned that they are inter-related.
2. What is lamda calculus and its relationship with formal methods.
Any help will be appreciated. Thanks very much!