Operational domain theory and topology of sequential programming languages Mart´ın Escard´o Weng Kin Ho - Operational calculus - Document - PDFSEARCH.IO

First Page	Meta Content
	Operational domain theory and topology of sequential programming languages Mart´ın Escard´o Weng Kin Ho Add to Reading List Document Date: 2008-12-11 05:21:07 Open Document File Size: 271,32 KB Share Result on Facebook Country United Kingdom / / Facility University of Birmingham / / IndustryTerm sample applications / / Organization Mart´ın Escard´o Weng Kin Ho School of Computer Science / University of Birmingham / / Person Nat / Pillars As / Andrej Bauer / / Position first-named author / / SocialTag Metalogic Denotational semantics Structure Continuous function Sheaf Lambda calculus Orbifold Surreal number Mathematics Models of computation

Operational domain theory and topology of sequential programming languages Mart´ın Escard´o Weng Kin HoAdd to Reading List