First Page | Document Content | |
---|---|---|
Date: 2009-06-23 10:57:40Algebraic geometry Valuation Function Preorder Mathematics Field theory Order theory | Nominal Domain Theory for Concurrency David Turner and Glynn Winskel University of Cambridge Computer Laboratory Abstract. This paper investigates a methodology of using FM (FraenkelMostowski) sets, and the ideas of nomiAdd to Reading ListSource URL: www.cl.cam.ac.ukDownload Document from Source WebsiteFile Size: 232,82 KBShare Document on Facebook |