Is the revised new_specification "complete"? i.e. are there any conservative extensions which cannot be achieved by it? (an argument for this would strengthen the case)
In the context of the revised new_specification how do we stand in relation to conservative introduction of type constructors? Is it true that in this case the restriction on type variables (introduced at the same time as the one in new_definition) is without loss of generality of conservative extension? Roger Jones ------------------------------------------------------------------------------ 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 [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
