LFMTP

AcronymDefinition
LFMTP➣Logical Frameworks and Metalanguages: Theory and Practice