Fig. 10From: Mechanized metatheory for a \(\lambda \)-calculus with trust typesSyntax Directed Type System for \(\lambda \)-calculus with Trust TypesBack to article page