BCK-algebras and lambda calculus

@inproceedings{Komori1987BCKalgebrasAL,
  title={BCK-algebras and lambda calculus},
  author={Yuichi Komori},
  year={1987}
}