lcore. lcore (Lambda Core) A minimal functional programming language based on the lambda calculus and various minimal extensions (developed for 'Lambda Club' at the University of Kent).