And for a more theoretical, less interactive picture, here's a video of Noah Goodman, one of the creators of Church, at a Google tech talk discussing the language's philosophical foundations and showing a bunch of applications in cognitive science/psychology.

https://www.youtube.com/watch?v=fclvsoaUI-U