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..


Advanced Sensors For Safety And Security

Pub Date : 2013-07-30 | Author : Ashok Vaseashta | Publisher : Springer

ISBN 10 : 9789400770034
ISBN 13 : 9400770030

This book results from a NATO Advanced Research Workshop titled “Technological Innovations in CBRNE Sensing and Detection for Safety, Security, and Sustainability” held in Yere..


Interactive Digital Narrative

Pub Date : 2015-04-10 | Author : Hartmut Koenitz | Publisher : Routledge

ISBN 10 : 9781317668671
ISBN 13 : 1317668677

The book is concerned with narrative in digital media that changes according to user input—Interactive Digital Narrative (IDN). It provides a broad overview of current issues and..


Key Debates In Anthropology

Pub Date : 2003-12-16 | Author : Tim Ingold | Publisher : Routledge

ISBN 10 : 9781134748839
ISBN 13 : 1134748833

Every year, leading social anthropologists meet to debate a motion at the heart of current theoretical developments in their subject and this book includes the first six of these d..



Accelerator And Radiation Physics

Pub Date : 2013 | Author : P. K. Sarkar | Publisher : Narosa Publishing House

ISBN 10 : 8184871821
ISBN 13 : 9788184871821

ACCELERATOR AND RADIATION PHYSICS encompasses radiation shielding design and strategies for hadron therapy accelerators, neutron facilities and laser based accelerators. A fascinat..



Leave a Reply

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