Saturday, 25 November 2006

Internet to the rescue

Once again the internet comes to the rescue with a Systematic Search for Lambda Expressions.  This is the answer to yesterdays question of whether we can iterate over isomorphic proofs exhaustively in order to extract all programs of a specification which in this case is realised as a "type".  Hooray for computer science!

No comments:

Post a Comment