http://projects.csail.mit.edu/church/wiki/Church
and Oleg's and Ken Shan's fantastic OCaml library Hansei:
http://okmij.org/ftp/kakuritu/index.html
Pedantic nit: probablistic vs probabilistic....
Your nit reminded me of this: http://web.archive.org/web/20080516195038/http://cs-people.b...
"Lower Bounds for Probably-istic Polynomial Time" an extremely funny read :)
Your nit reminded me of this: http://web.archive.org/web/20080516195038/http://cs-people.b...
"Lower Bounds for Probably-istic Polynomial Time" an extremely funny read :)