Modal properties of recursively defined commands Paul Blain Levy, University of Birmingham And {s.As }s∈A∗ means: A recent paper (“Seeing Beyond Divergence”, - Blain - Document - PDFSEARCH.IO

First Page	Meta Content
	Modal properties of recursively defined commands Paul Blain Levy, University of Birmingham And {s.As }s∈A∗ means: A recent paper (“Seeing Beyond Divergence”, Add to Reading List Document Date: 2008-07-23 07:52:00 Open Document File Size: 34,54 KB Share Result on Facebook Facility University of Birmingham And / / Organization University of Birmingham And / / Person Ai / / SocialTag Models of computation Order theory Philosophical logic Computability theory Equivalence relation Lambda calculus Preorder Modal logic Denotational semantics Mathematics

Modal properties of recursively defined commands Paul Blain Levy, University of Birmingham And {s.As }s∈A∗ means: A recent paper (“Seeing Beyond Divergence”,Add to Reading List