Fig. 8
From: Mechanized metatheory for a \(\lambda \)-calculus with trust types
Type System for \(\lambda \)-calculus with Trust Types
Fig. 8 | Journal of the Brazilian Computer Society
From: Mechanized metatheory for a \(\lambda \)-calculus with trust types
Type System for \(\lambda \)-calculus with Trust Types