翻訳と辞書
Words near each other
・ ctos
・ ctrl
・ cts
・ ctss
・ cty
・ cu
・ cu-seeme
・ cua
・ cube
・ cubing
cuch
・ cuckoo's egg
・ cul
・ culler-fried system
・ cupid
・ cupl
・ curly bracket
・ current
・ curried function
・ currying


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

cuch : FOLDOC
CUCH
CUrry-CHurch.
Lambda-calculus
["A Type-Theoretical Alternative to CUCH, ISWIM, OWHY", Dana Scott, Oxford U 1969].
["Introduction to the CUCH", C. Bohm et al, in Automata Theory, E.R. Caianiello ed, A-P 1966, pp.35-65].
(1994-12-02)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.