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 nomi - Field of sets - Document - PDFSEARCH.IO

First Page	Meta Content
	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 nomi Add to Reading List Document Date: 2009-06-23 10:57:40 Open Document File Size: 232,82 KB Share Result on Facebook Currency pence / / Facility Glynn Winskel University of Cambridge Computer Laboratory Abstract / / IndustryTerm machinery / / Organization Glynn Winskel University / / Person David Turner / Glynn Winskel Prefix / / RadioStation 3.3 FM / 1 FM / 3.2 FM / / SocialTag Algebraic 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 List