On 13 Aug 2012, at 00:53, Bill Richter wrote:
>
> What is a type?
>
If you have time to look at a textbook reference as background to all this,
here is a good one describing a system that is very similar in spirit to HOL.
@BOOK{andrews,
author = "Peter B. Andrews",
title = "An Introduction to Mathematical Logic and Type
Theory: To Truth Through Proof",
publisher = AP,
year = 1986}
Regards,
Rob.
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
