logical relation A relation R satisfying f R g <=> For all a, b, a R b => f a R g b This definition, by Plotkin, can be used to extend the definition of a relation on the types of a and b to a relation on functions.
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.