A symbolic labelled transition system for coinductive subtyping of Fµ types Alan Jeffrey DePaul University Extended Abstract - Subtyping - Document - PDFSEARCH.IO

First Page	Meta Content
	A symbolic labelled transition system for coinductive subtyping of Fµ types Alan Jeffrey DePaul University Extended Abstract Add to Reading List Document Date: 2010-12-15 21:40:17 Open Document File Size: 160,32 KB Share Result on Facebook

A symbolic labelled transition system for coinductive subtyping of Fµ types Alan Jeffrey DePaul University Extended Abstract Add to Reading List