Lambda calculus extended with segments / door Harmannus Balsters