计算机术语“lambda_calculus”的中英文意思、释义、翻译及用法-计算机英汉双解词典

术语	lambda_calculus
释义	lambda calculus λ演算一种对逻辑公式中限制变数或项的值进行代入为主要运算的演算，用於程式理论，尤其是程式设计语言的语义理论。
随便看	input/output_interrupt_inhibit input/output_interruption input/output_library input/output_limited input/output-limited input/output_list input/output_medium input/output_mode input/output_operation input/output_order input/output_parity_interrupt input/output_peripheral input/output_port input/output_processor input/output_queue input/output_referencing input/output_register input/output_routines input/output_section input/output_statement input/output_storage input/output_switching input/output_symbol input/output_traffic_control input/output_trunk

Linux计算机英汉词典包含19493条计算机术语英汉翻译词条，基本涵盖了全部常用计算机术语的翻译及用法，是计算机学习及翻译工作的有利工具。