Fig. 3From: Mechanized metatheory for a \(\lambda \)-calculus with trust typesSyntax of termsBack to article page