cool hit counter

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress He…



Per Martin-Lof’s work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing science and linguistics. This volume draws together contributions from researchers whose work builds on the theory developed by Martin-Lof over the last twenty-five years. As well as celebrating the anniversary of the birth of the…


Twenty Five Years Of Constructive Type Theory

Pub Date : 1998-10-15 | Author : Giovanni Sambin | Publisher : Clarendon Press

ISBN 10 : 0191589039
ISBN 13 : 9780191589034

Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader..


Attacking Africa S Poverty

Pub Date : 2006 | Author : M. Louise Fox | Publisher : World Bank Publications

ISBN 10 : 9780821363232
ISBN 13 : 0821363239

By all measures, poverty in Africa as a whole has increased and deepened. But in fact, Africa contains a number of undocumented success stories of poverty reduction. This book pres..


Strategies Of Peace

Pub Date : 2010-03-24 | Author : Daniel Philpott | Publisher : Oxford University Press

ISBN 10 : 0199738351
ISBN 13 : 9780199738359

How can a just peace be built in sites of genocide, massive civil war, dictatorship, terrorism, and poverty? In Strategies of Peace, the first volume in the Studies in Strategic Pe..


Leave a Reply

Your email address will not be published. Required fields are marked *