Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alex Simpson
Linearly-Used Continuations in the Enriched Effect Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Comparing Cartesian Closed Categories of (Core) Compactly Generated Spaces
Topology and its Applications
Geometry
Topology
Relational Parametricity for Computational Effects
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Comparing Functional Paradigms for Exact Real-Number Computation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Relating First-Order Set Theories and Elementary Toposes
Bulletin of Symbolic Logic
Philosophy
Logic
A Logic for Parametric Polymorphism With Effects
