<--- Back to Details
First PageDocument Content
Abstraction / Complete partial order / Domain theory / Completeness / Compact element / Scott domain / Continuous function / Partially ordered set / Filter / Order theory / Mathematics / Structure
Date: 2012-12-25 23:14:43
Abstraction
Complete partial order
Domain theory
Completeness
Compact element
Scott domain
Continuous function
Partially ordered set
Filter
Order theory
Mathematics
Structure

A Foundation for Computation Keye Martin April 14, 2004

Add to Reading List

Source URL: www.nearmidnight.com

Download Document from Source Website

File Size: 831,34 KB

Share Document on Facebook

Similar Documents

Structure / Support / Ideal / Complete partial order / Partially ordered set / Continuous function / Sierpiński space / Spectral theory of ordinary differential equations / Lambda calculus / Mathematics / Order theory / Mathematical analysis

Midland Graduate School in Foundations of Computer Science Quantum Topos Theory Steve Vickers, School of Computer Science, University of Birmingham 2010

DocID: 1ghv4 - View Document

Designated landmark / Order theory / Complete partial order / Historic preservation

ANNEXURE Q Comment [MS1]: Insert Provincial Logo, address and contact person at Province Private Bag X901, Pretoria, 0001, 134 Pretorius Street, HSRC Building, Pretoria

DocID: 14rix - View Document

Structure / Models of computation / Denotational semantics / Logic in computer science / Power domains / Continuous function / Complete partial order / Scott continuity / Function / Mathematics / Order theory / Theoretical computer science

Semantics of a Sequential Language for Exact Real-Number Computation J. Raymundo Marcial-Romero a,∗,1, Mart´ın H. Escard´o a a University

DocID: 11z4z - View Document

Order theory / Complete partial order

PDF Document

DocID: XHHN - View Document

Complete partial order / Noojee / Gippsland / Neerim North /  Victoria / Neerim

L BAW BAW PLANNING SCHEME - LOCAL PROVISION Riv er

DocID: XEoS - View Document