ESHOL

AcronymDefinition
ESHOLEvaluation of Systems for Higher Order Logic (conference)