The Synthetic Plotkin Powerdomain Wesley Phoa Paul Taylor 1990 - Lattice model - Document - PDFSEARCH.IO

First Page	Meta Content
	The Synthetic Plotkin Powerdomain Wesley Phoa Paul Taylor 1990 Add to Reading List Document Date: 2009-02-13 17:07:58 Open Document File Size: 265,79 KB Share Result on Facebook IndustryTerm binary product / finite products / binary products / / Person Peter Freyd / Wesley Phoa / Martin Hyland / / Position first author / / SocialTag Lattice theory Algebraic structures Power domains Semilattice Free lattice Topos Model theory Finite set FO Mathematics

The Synthetic Plotkin Powerdomain Wesley Phoa Paul Taylor 1990Add to Reading List