Fig. 9
From: Mechanized metatheory for a \(\lambda \)-calculus with trust types
Functions for least upper bound over trust types
Fig. 9 | Journal of the Brazilian Computer Society
From: Mechanized metatheory for a \(\lambda \)-calculus with trust types
Functions for least upper bound over trust types