Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Predicative Mathematics in Type Theory Robin Adams
 

Summary: 



Predicative Mathematics in Type Theory



Robin Adams


January 19, 2006



1 Introduction


We present a logic-enriched type theory intended for the formalization of pred-
icative mathematics in the style of Weyl's "Das Kontinuum". We show how the

  

Source: Adams, Robin - Department of Computer Science, Royal Holloway, University of London

 

Collections: Computer Technologies and Information Sciences