Concurrent Programming Constructs and First-Class Logic Engines

I hadn't been aware of Tarau's work:

http://www.cse.unt.edu/~tarau/

The real treasure looks like being his theory of isomorphisms:

http://logic.csci.unt.edu/tarau/research/2010/ISO.pdf

I haven't read it all yet, but it reminds me a bit of the isomorphic kernel described here:

http://www.informatik.uni-marburg.de/~rendel/unparse/rendel1...

Discusion on LtU here:

http://lambda-the-ultimate.org/node/4191

Sometimes wading through the noise on HN is worth it when gems like this turn up.

Mik

My kind of HN article! Food for thought for my own concurrent logic engine. Thanks for posting this.