Title: Lambda calculus extended with segments