[TYPES] F omega with sums and commuting conversions

Sam Lindley Sam.Lindley at ed.ac.uk
Sun Oct 9 18:39:06 EDT 2011


Is there a published strong normalisation proof for F omega extended 
with coproduct types and commuting conversions?

Sam

-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.



More information about the Types-list mailing list