Tra từ pure lambda-calculus - Từ điển Máy Tính

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

pure lambda-calculus pure lambda-calculus Lambda-calculus with no constants, only functions expressed as lambda abstractions. Last updated: 1994-10-27