https://medium.com/@monocosmo77/how-lambek-calculus-is-applied-part1-logic-in-computer-science-5e5cab7aaf2f