Modern Logical Frameworks Design

Keyphrases

• Logical Frameworks 100%
• Framework Design 100%
• Mechanized System 100%
• Programming Languages 50%
• Motivation 50%
• Multiparty Session Types 50%
• Voting System 50%
• Cryptographic Protocols 50%
• Concurrent Systems 50%
• Expressiveness 50%
• Metatheory 50%
• Logic Language 50%
• Proof Irrelevance 50%
• Logical Systems 50%
• Full Power 50%
• Typical Application 50%
• Hybrid Logic 50%
• Easy-to-implement 50%

Computer Science

• Logical Framework 100%
• Cryptographic Protocol 50%
• Building-Blocks 50%
• Concurrent System 50%
• Metatheory 50%
• Programming Language 50%
• Proof 50%