In computer programming, the routines (functions, procedures, methods) of strongly typed programming languages closely correspond to typed lambda expressions.
U programiranju, rutine (funkcije, procedure, metode) strogo tipiziranih programskih jezika usko odgovaraju tipiziranim lambda izrazima.