LFMTP

AcronymDefinition
LFMTPLogical Frameworks and Metalanguages: Theory and Practice