Hello everyone.

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!

Ed