I'm absolutely fascinated with type system theory. I also really like logic programming stuff too, some of what's happening in the relational logic world is ver

I'm absolutely fascinated with type system theory. I also really like logic programming stuff too, some of what's happening in the relational logic world is very interesting stuff. Anyways, thanks!