http://www.cis.upenn.edu/~bcpierce/sf/current/index.html http://www.cis.upenn.edu/~bcpierce/sf/current/index.html Check out Software Foundations. It's a pretty

http://www.cis.upenn.edu/~bcpierce/sf/current/index.html http://www.cis.upenn.edu/~bcpierce/sf/current/index.html Check out Software Foundations. It's a pretty gentle bridge from programming into the theory side. You do programming exercises in Coq. If you already know basic OCaml, the programming side of Coq will seem very familiar. I can't recommend SF highly enough. gkuan's recommendations are good regular books. They might be a little more than you're looking for.