Fig. 8From: Mechanized metatheory for a \(\lambda \)-calculus with trust typesType System for \(\lambda \)-calculus with Trust TypesBack to article page