In computer science, untyped Lambda Calculus doesn't discriminate between different kinds of data - everything is a function. Conversely, typed Lambda Calculus introduces different types of data, enabling more control over variables and functions and preventing certain types of errors.