Chuyển bộ gõ


Từ điển Máy Tính - Foldoc Dictionary
lambda




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].



Related search result for "lambda"
Học từ vựng | Vndic trên web của bạn
© Copyright 2006-2025 VNDIC.NET & VDICT.CO all rights reserved.