Subspaces in Abstract Stone Duality Paul Taylor August 11, 2003 Abstract By abstract Stone duality we mean that the topology or contravariant powerset functor, seen as a self-adjoint exponential Σ(−) on some category,

Source URL: www.monad.me.uk

Evaluating the Design of the R Language Objects and Functions For Data Analysis Flor´eal Morandat Brandon Hill

Source URL: r.cs.purdue.edu

• Subroutines
• Closure
• Scope
• R
• Parameter
• Lazy evaluation
• Monad
• Fold
• Futures and promises
• Functional programming
• Multiple dispatch
• Variable

The Dedekind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Abstract Abstract Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional and all other con

Source URL: www.monad.me.uk

GNU Emacs Reference Card (for version 24) Starting Emacs To enter GNU Emacs 24, just type its name: emacs

Source URL: www.acrc.bris.ac.uk

• Text editors
• User interface techniques
• Scripting languages
• Emacs
• GNU Emacs
• Functional languages
• Keyboard shortcut
• Dired
• Lisp
• Monad
• Incremental search
• Sed

The Fixed Point Property in Synthetic Domain Theory Paul Taylor 1991 Abstract We present an elementary axiomatisation of synthetic domain theory and show that it

Source URL: www.monad.me.uk

Sober Spaces and Continuations Paul Taylor August 5, 2003 Abstract A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational

Source URL: www.monad.me.uk

Geometric and Higher Order Logic in terms of Abstract Stone Duality Paul Taylor Abstract The contravariant powerset and its generalisations ΣX to the lattices of open subsets of a locally compact topological space and o

Source URL: www.monad.me.uk

Tychonov’s Theorem in Abstract Stone Duality Paul Taylor 24 September 2006 Abstract New constructive definition of compactness in the form of the existence of a continuous ”universal quantifier”. Construction and c

Source URL: www.monad.me.uk

Interval Analysis Without Intervals Paul Taylor 20 February 2006 Abstract We argue that Dedekind completeness and the Heine–Borel property should be seen as part of the “algebraic” structure of the real line, along

Source URL: www.monad.me.uk

Monad Combinators, Non-Determinism and Probabilistic Choice [Extended abstract] Tarmo Uustalu Inst. of Cybernetics Tallinn University of Technology

Source URL: cs.ioc.ee