Lectures on the Curry-Howard Isomorphism, Volume 149

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as en...

Lectures on the Curry Howard Isomorphism Volume 149

The Isomorphism Problem in Coxeter Groups

The book is the first to give a comprehensive overview of the techniques and tools currently being ...

The Isomorphism Problem in Coxeter Groups