FLTT ( SSL ) , PTR ( LTT ( SSL ) ) , Rss ) consisting of : a set of proof ... between proof - terms and types , so that if p E PT ( SSL ) has type ( SP OF ) ...
確定! 回上一頁