Computers and Electronics in Lambdand