Fig. 12
From: Mechanized metatheory for a \(\lambda \)-calculus with trust types
Church style type system for \(\lambda \)-calculus
Fig. 12 | Journal of the Brazilian Computer Society
From: Mechanized metatheory for a \(\lambda \)-calculus with trust types
Church style type system for \(\lambda \)-calculus