Machine-Checked Semantic Session Typing

Keyphrases

• Type Systems 100%
• Semantic Approach 100%
• Program Logic 50%
• Session Types 50%
• Recursion 50%
• Relation Model 50%
• Logical Relations 50%
• Message Passing 50%
• Asynchronous Subtyping 50%
• Iris 50%
• Affine 50%
• Polymorphism 50%

Computer Science

• Type Systems 100%
• Logic Programming 50%
• Logical Relation 50%
• Message Passing 50%