LAMBDA A version of typed lambda-calculus, used to describe semantic domains. ["Outline of a Mathematical Theory of Computation", D.S. Scott, TM PRG-2, PRG, Oxford U, 1971].
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.