翻訳と辞書 Words near each other ・ powerpc reference platform ・ powerpoint ・ powerset ・ powersoft corporation ・ pp96 ・ ppc ・ ppcp ・ ppd ・ ppga ・ ppl ・ pplambda ・ ppm ・ ppn ・ ppp ・ pppoa ・ pppoe ・ pptp ・ pqs ・ pr ・ pr0n Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク pplambda ： FOLDOC PPLambda essentially the {first-order predicate calculus} superposed upon the {simply-typed} polymorphic lambda-calculus. PPLambda is the {object language} for LCF. ["Logic and Computation: Interactive Proof with Cambridge LCF", L. Paulson, Cambridge U Press, 1987]. (1995-05-01) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.