Coherence and valid isomorphism in closed categories applications of proof theory to category the...

This book presents the proceedings of the Sixth International Conference on Category Theory and C...

The Folsom-Cook Exploration of the Upper Yellowstone in the year 1869 is an unchanged, high-quali...

Categories.- Elements of categorical reasoning : Products and coproducts and some other (co-)limi...

The papers in this volume were presented at the fourth biennial Summer Conference on Category and...

Categories and effective computations.- Polymorphism is set theoretic, constructively.- An equati...

This work, written by two senior advisors to the Russian government and with unique access to doc...

The changing climate, the warming of the world and acid rain are among the greatest problems faci...

This book is small in page numbers but big on sustenance (nutrition) for growth and change. It pl...

A major concern of this book is how ordinary people might come to manage their own environment mo...

How one man used his SAS training as a force for Global good...David likes to make things happen....

There is growing interest world wide in nuclear-free zones. Originally published in 1987, this bo...