Cheng, Eugenia - Department of Pure Mathematics, University of Sheffield

• Relating coalgebraic notions of bisimulation with applications to name-passing process calculi
• MAS175 Groups and Symmetries 2010-11 NOTES These notes are incomplete: (i) some details, indicated by blank boxes , have been
• Under consideration for publication in Math. Struct. in Comp. Science On Universal Algebra over Nominal Sets
• Category Theory 3 Eugenia Cheng
• Category Theory Examples Sheet 4 Michaelmas Term 2008 Richard Garner
• MAS175 Groups and Symmetries Spring Semester 2010-11
• Presenting Functors on Many-Sorted Varieties and Applications
• Introduction X-generated morphisms
• Under consideration for publication in J. Functional Programming 1 Acute: High-level programming language design
• Pure Mathematics Postgraduate Seminar MAS6130/MAS6131
• MAS175 Groups and Symmetries, 2010-11: Feedback on Assignment 2 (NB: The answers to the blank box questions can be found on the course website.)
• An -category with all duals is an -groupoid Eugenia Cheng
• Mathematics & Lego: the untold story Eugenia Cheng
• Higher-Dimensional Categories
• How to write proofs: a quick guide Eugenia Cheng
• PMA433 Algebraic Topology Autumn 20092010
• SCHOOL OF MATHEMATICS AND STATISTICS Sample Paper J Algebraic Topology 2 hours 30 minutes
• MAS435 Algebraic Topology Part A: Semester 1
• SCHOOL OF MATHEMATICS AND STATISTICS Sample Paper A Rings and Groups 2 hours
• MAS276 Rings and Groups Spring 20092010
• C ATEGORY THEORY Dr E. L. Cheng
• Categorification of quantum groups In honour of Martin Hyland and Peter
• MAS175 Groups and Symmetries 2010-11 NOTES [1] C.R. Jordan and D.A. Jordan, Groups, Newnes, Elsevier, 1994, ISBN 0-340-61045-X.
• MAS175 Groups and Symmetries Spring Semester 2010-11
• MAS175 Groups and Symmetries, 2010-11, Assignment 3 Name . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
• MAS175 Groups and Symmetries, 2010-11: Feedback on Assignment 1 In general the assignments were pretty well done. There weren't many errors on the
• MAS175 Groups and Symmetries, 2010-11, Solutions to Assignment 2 1. The function f : R\{1
• MAS175 Groups and Symmetries, 2010-11, Solutions to Assignment 3 1. Of the four subsets of C\{0} specified below, only two, namely C and D , are
• MAS175 Groups and Symmetries, 2010-11: Feedback on Assignment 3 (NB: The answers to the blank box questions can be found on the course website.)
• MAS175 2009-10: Solution 1 (i) Since f(1) = f(2) it follows that f is not injective. Since there is no
• Graeco-Latin Card Game Note that in the Graeco-Latin square each row and each column contains one card of
• MAS277 Vector Spaces and Fourier Theory Sarah Whitehouse
• MAS277 Vector Spaces and Fourier Theory: Appendix Sarah Whitehouse
• MAS277 Vector Spaces and Fourier Theory Hand-out: Reminders on trigonometric identities and their use to calculate integrals in
• Problems for MAS277 Vector Spaces and Fourier Theory The problems are organized into three sections, one for each chapter of the course. All
• Information about the MAS277 exam Two past papers for the course are on the course web page, along with solutions.
• SCHOOL OF MATHEMATICS AND STATISTICS Spring Semester Vector spaces and Fourier theory (SOLUTIONS) 2 hours
• SCHOOL OF MATHEMATICS AND STATISTICS Spring Semester 20082009 Vector spaces and Fourier theory 2 hours
• Two 2-traces Simon Willerton
• NEWNHAM COLLEGE CHARTER, SUPPLEMENTAL CHARTER,
• www.newn.cam.ac.uk Newnham College | Cambridge
• NEWNHAM COLLEGE THE PHYLLIS AND EILEEN GIBBS
• John Robinson, Sculptor, May 5 1935 -April 6 2007 John Robinson, sculptor and co-founder of the Bradshaw Foundation, died on April 6, 2007, at his home
• The intuitions of higher dimensional algebra for the study of structured space
• Against Pointillisme about Geometry J. Butterfield1
• Against Pointillisme about Mechanics J. Butterfield1
• For a CTNS/Vatican Observatory volume on Quantum Theory and Divine Action, ed. R Russell et al. Some Worlds of Quantum Theory
• Review for Le Scienze INTERPRETING BODIES: edited by Elena Castellani, Princeton University Press, 1998,
• Dedicated to the many bright young theoretical physicists that failed to escape the fate of having to work in institutions like banks.
• CO1016 Computer Systems Credits: 20 Convenor: Dr. R. L.Crole Semester: 1st
• CO1007 Study Skills and Professional Practice Credits: 10 Convenor: Dr. R. L. Crole & Prof. R. Heckel Semester: 1st
• Fun with ConstructiveFun with Constructive ModalitiesModalities
• Constructive AccessConstructive Access Control :Control
• Quantales: Quantal Sets CHRISTOPHER J. MULVEY
• A Noncommutative Theory of Penrose Tilings CHRISTOPHER J. MULVEY
• Paper for Symposium 10: Grammatical Cosmos II The Process Semantics of Time and Space as Anticipation
• Paper for Symposium 1: Anticipation, Incursion. The Natural Metaphysics of Computing Anticipatory Systems
• Philosophy of Nature and Process Philosophy Seventh annual meeting organized by The Whitehead Metaphysical Society
• 88th Peripatetic Seminar on Sheaves and Logic Centre for Mathematical Sciences University of Cambridge
• Adjoint Exactness M. A. HEATHER & B. N. ROSSITER
• Don't Confuse Left and Right Exactness! A Note correcting the Distinction in the Proceedings
• The Logic of Trans-Faith Prehension Michael Heather and Nick Rossiter (UK)
• Process as a World Transaction B. N. ROSSITER, M. A. HEATHER & D. SISIARIDIS
• A Natural Basis for Interoperability Nick Rossiter1
• Data Structures in Natural Computing: Databases as Weak or Strong Anticipatory Systems
• Locality, Weak or Strong Anticipation and Quantum Computing. I. Non-locality in Quantum
• Locality, Weak or Strong Anticipation and Quantum Computing. II. Constructivism with
• A Natural Basis for Interoperability Nick Rossiter1
• Higher Order Logic and Interoperability in Global Enterprise
• CONDITIONS FOR INTEROPERABILITY Nick Rossiter
• Four-level Architecture for Closure in Interoperability
• !#"$&%(')10#2&3456%17"$0#&%!809!%@AB'C2&B%(ED9&7F In proceedings of workshop on dependability in healthcare Informatics Edinburgh, 22nd-23rd March 2001
• A Prototype Implementation of a Framework for Organising Virtual Exhibitions over the Web
• Journal of Computing and Information Technology -CIT 14, 2006, 2, 91110 91 Translating XML Update Language
• Ali S. Elbekai Dr. Nick Rossiter
• Fences in Weak Memory Models Jade Alglave1
• On the expressivity of symmetry in event structures Sam Staton and Glynn Winskel
• General Structural Operational Semantics through Categorical Logic (Extended Abstract)
• Thesis description: Name-passing process calculi
• CMCS'04 Preliminary Version Comparing Operational Models
• Samuel Staton A Formal Approach to
• 4 Discrete Maths Seminars Exercise 4.1
• Domain Theory for Concurrency --New Categorical Foundations
• Event Structure Semantics For CCS and Related Glynn Winskel
• The unfolding of general Petri nets Jonathan Hayman Glynn Winskel
• Symmetry and Concurrency (Extended Abstract)
• GDP Festschrift ENTCS, to appear Event Structures with Symmetry
• Events in Security Protocols Federico Crazzolara
• PMA433: Algebraic Topology Semester 1, 2009/10; 10 credits
• Category Theory Examples Sheet 1 Michaelmas Term 2008 Richard Garner
• MAS175 Groups and Symmetries 2010-11 NOTES [1] C.R. Jordan and D.A. Jordan, Groups, Newnes, Elsevier, 1994, ISBN 0-340-61045-X.
• Profunctors, Open Maps and Bisimulation Gian Luca Cattani # and Glynn Winskel +
• Anticipatory Adjointness of E-Science Computation on the Grid
• Mathematics, morally Eugenia Cheng
• Mechanized Metatheory for the Masses: The PoplMark Challenge
• Review for Metascience Interpreting Quantum Mechanics Modally
• Solutions for MAS277 Problems Solutions for Chapter 1 problems: Q7-14, 16-17, 19-22.
• Completeness for algebraic theories of local state Computer Laboratory, University of Cambridge
• web: http://www.cam.ac.uk/cs/ email: service-desk@ucs.cam.ac.uk
• Free and Open Systems Theory Nick Rossiter
• Information Systems and the Theory of Categories: Is Every Model an Anticipatory
• ECSYM Part B2 EVENTS, CAUSALITY AND SYMMETRY Glynn Winskel --the next-generation semantics
• Under consideration for publication in Math. Struct. in Comp. Science A Relational Model of Non-Deterministic Dataflow
• Category Theory Examples Sheet 2 Michaelmas Term 2008 Richard Garner
• Composed Categories and Monadic Adjunctions for Interoperable Structures
• The Anticipatory and Systemic Adjointness of E-Science Computation on the Grid
• Review for Physics in Perspective The Philosophy of Physics
• Under consideration for publication in J. Functional Programming 1 Acute: Highlevel programming language design
• A COMBINATORIAL HALFINTEGRATION FROM WEIGHT SYSTEM TO VASSILIEV KNOT INVARIANT
• A Categorical Formalism for Interoperability based on the Information Resource Dictionary Standard (IRDS)
• VASSILIEV INVARIANTS AS POLYNOMIALS SIMON WILLERTON
• Content Selfawareness in Distributed Multimedia Publishing: the Need for a
• The Universe as a freely generated Information System M. A. HEATHER & B. N. ROSSITER
• The Logic for Social Systems Michael Heather
• 88th PSSL in Honour of Professors Martin Hyland and Peter Johnstone Friday 3rd April, 2009
• MAS277: Vector Spaces and Fourier Theory Semester 2, 2010/11; 10 credits
• Substitution in Structural Operational Semantics
• Teaching Abstract Concepts Andrea Schalk
• Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and
• Modelling Collaboration in Trusted Multi-agency Environment Salem Aljareh and Nick Rossiter
• Image-Object Retrieval in Mixed Information Systems: Theory behind the Practice
• Probabilistic Event Structures and Domains Daniele Varacca1
• HAUSDORFF AND GROMOV DISTANCES IN QUANTALEENRICHED CATEGORIES
• Prime Algebraicity Glynn Winskel, University of Cambridge Computer Laboratory, England
• SCHOOL OF MATHEMATICS AND STATISTICS Sample Paper B Rings and Groups 2 hours
• Quantum Curiosities of Psychophysics, by Jeremy Butterfield Abstract: I survey some of the connections between the metaphysics of the relation between mind
• XML Schema-driven Generation of Architecture Ali El bekai1
• Solutions for MAS277 Problems Solutions for Chapter 1 problems: Q7-27.
• Standards for Assured Legacy Systems B.Nick Rossiter
• interoperability, information systems Nick ROSSITER, Michael HEATHER1
• Part III Category Theory Dr E.L.-G. Cheng
• Understanding POWER Multiprocessors Susmit Sarkar1
• Mathematizing C++ Concurrency Mark Batty Scott Owens Susmit Sarkar Peter Sewell Tjark Weber
• Ott: Effective Tool Support for the Working Semanticist Peter Sewell Francesco Zappa Nardelli Scott Owens Gilles Peskine
• A Theory of Dynamic Software Updates A thesis submitted for the Degree of Doctor in Philosophy,
• Final version of CACM Research Highlights paper, May 17, 2010 x86-TSO: A Rigorous and Usable Programmer's Model for
• PMA216 Rings and Groups Spring 20082009
• MAS276 Rings and Groups Notes about the marking scheme
• Positive structural operational semantics and monotone distributive laws
• Relaxed-Memory Concurrency and Verified Compilation Jaroslav Sevcik1 Viktor Vafeiadis1,2 Francesco Zappa Nardelli3 Suresh Jagannathan4 Peter Sewell1
• SCHOOL OF MATHEMATICS AND STATISTICS Sample Paper K Algebraic Topology 2 hours 30 minutes
• R. L. Crole: Publications and Articles [1] Roy L. Crole. -Equivalence Equalities. Submitted for journal publication; currently under
• Category Exercises 1 Robin Houston October 26, 2004
• Topics in Concurrency Lecture Notes
• Fragmentary structure of global knowledge: constructive
• The Rotating Discs Argument Defeated J. Butterfield
• Full Abstraction for HOPLA Mikkel Nygaard1
• a higher-order process language with name generation Glynn Winskel
• Category Theory Examples 3 Michaelmas 2002 Eugenia Cheng
• Newnham College Honorary Fellows
• Litmus: Running Tests Against Hardware Jade Alglave1,3
• Towards Non Commutative Algebraic Topology: UCL May 7, 2003 1 Towards Non Commutative
• Category Theory Examples Sheet 2 Michaelmas Term 2008 Richard Garner
• Satisfaction of Health Record Security Principles through Collaborative Salem Aljareh and John Dobson
• Linearity in Process Languages Mikkel Nygaard Glynn Winskel
• The periodic table of n-categories for low dimensions I: degenerate categories and degenerate bicategories
• The duality of computation under focus Pierre-Louis Curien (CNRS and University Paris 7)
• N E W N H A M C O L L E G E C A M B R I D G E C B 3 9 D F
• EXPRESS 2006 Event Structure Spans for Nondeterministic
• Category Theory Examples 1 Michaelmas 2002 Eugenia Cheng
• Linearity and nonlinearity in distributed computation
• A Bridge not too far Valeria de Paiva
• Category Theory and Higher Dimensional Algebra: potential descriptive tools
• JFP 18 (4): 437502, 2008. c 2007 Cambridge University Press doi:10.1017/S0956796807006600 First published online 17 October 2007 Printed in the United Kingdom
• Linearly-used state in models of call-by-value Rasmus Ejlers Mgelberg1
• MAS175 Groups and Symmetries, 2010-11, Assignment 1 Name . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
• Category Theory 2 Eugenia Cheng
• CATEGORIES OF GAMES A thesis submitted to the University of Manchester
• Logic vs illogic: why mathematics is easy and life is hard Eugenia Cheng
• Mathematics of Games (Continuation Report)
• Journal of Computing and Information Technology -CIT 14, 2006, 3, 116 doi:10.2498/cit.2006.03.06
• MAS276 Rings and Groups Eugenia Cheng
• MAS276 Rings and Groups Exam solutions
• The Semantics of x86-CC Multiprocessor Machine Code Susmit Sarkar1 Peter Sewell1 Francesco Zappa Nardelli2
• JFP 20 (1): 71122, 2010. c Cambridge University Press 2010 doi:10.1017/S0956796809990293
• Monad interleaving: a construction of the operad for Leinster's weak -categories
• The State of Physics: `Halfway through the Woods'1 J. Butter eld2
• Category Theory Examples 4 Michaelmas 2002 Eugenia Cheng
• Prototyping a Categorical Database in D. A. Nelson and B. N. Rossiter
• A Brief Complicial Tour Dominic Verity
• B. FloridaJames, W. Hills, B. N. Rossiter 75 The use of an agent architecture allows the
• Domain Theory for Concurrency Mikkel Nygaard Glynn Winskel
• ON THE CATEGORICAL MEANING OF HAUSDORFF AND GROMOV DISTANCES, I
• A Globalisation of the Gelfand Duality Theorem BERNHARD BANASCHEWSKI
• The magnitude of metric spaces I Tom Leinster (Glasgow/EPSRC)
• A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics
• Composing Strand Spaces Federico Crazzolara and Glynn Winskel
• Dimitrios Sisiaridis University of Northumbria
• The periodic table of n-categories for low dimensions I: degenerate categories and
• MAS276 Rings and Groups, Spring 2011 Important information
• THE CARTESIAN CLOSED BICATEGORY OF GENERALISED SPECIES OF STRUCTURES
• Logical Foundations for the Infrastructure of the Information Market
• An algebraic presentation of innocence Paul-Andr Mellis
• Independence and Concurrent Separation Logic Jonathan Hayman and Glynn Winskel
• On the Quantisation of Spaces CHRISTOPHER J. MULVEY
• HigherDimensional Categories
• Lecture Notes on Denotational Semantics
• On the definition of C (a summary of a talk given at PSSL#85 in Nice)
• A better x86 memory model: x86-TSO (extended version)
• A career in Mathematics?A career in Mathematics? Valeria de Paiva
• OPEN PROBLEMS IN TOPOS THEORY Bill Lawvere
• Universal Information Models for Environ mental Management
• Composing Strand Spaces Federico Crazzolara ? and Glynn Winskel
• Full Abstraction for HOPLA Mikkel Nygaard 1 and Glynn Winskel 2
• Algebraic Type Theory Marcelo Fiore
• NEWNHAM COLLEGE, CAMBRIDGE GRADUATE AND POST-GRADUATE SUBJECTS 2010/11
• CTCS 2004 Preliminary Version Limit Preservation from Naturality
• MAS175 Groups and Symmetries Spring Semester 2010-11
• Review for Philosophy of Science; le 99.7.7.1b Quantum Chance and Non-Locality
• Higher-Order Containers Thorsten Altenkirch1
• Magnitude of Metric Spaces II Tom Leinster & Simon Willerton
• Queen Mary University of London School of Electronic Engineering and Computer Science
• SCHOOL OF MATHEMATICS AND STATISTICS Sample Paper L Algebraic Topology 2 hours 30 minutes
• A NEW DEFINITION OF MORPHISM ON PETRI NETS A Preliminary Version ~J\A\^^ S cf
• MAS276: Rings and Groups Semester 2, 2009/10; 10 credits
• Nominal Domain Theory for Concurrency David Turner and Glynn Winskel
• Functorial Coalgebraic Logic: The case of many-sorted varieties
• MAS175 2008-2009 exam: Solution 1 (i) (a) Let a1, a2 R\{4} be such that f(a1) = f(a2). Thus
• 142 LECTURE-LISTMICHAELMAS TERM 2010 [special No. 1 Metric and Topological Spaces*
• Towards an n-category of cobordisms Eugenia Cheng and Nick Gurski
• NEWNHAM COLLEGE RESEARCH FELLOWSHIP IN THE HUMANITIES AND SOCIAL SCIENCES 2010-2011
• Category Theory Examples Sheet 1 Michaelmas Term 2008 Richard Garner
• NEWNHAM COLLEGE RESEARCH FELLOWSHIP IN SCIENCE,
• Linearity and nonlinearity in distributed computation
• A Compositional Proof System for the Modal -Calculus
• Constructive AccessConstructive Access Control:Control
• Higher-Dimensional Category Theory: Opetopic Foundations
• PHYSICAL INTERPRETATIONS OF RELATIVITY THEORY-X
• SCHOOL OF MATHEMATICS AND STATISTICS Sample Paper H Algebraic Topology 2 hours 30 minutes
• Distributing probability over nondeterminism D A N I E L E V A R A C C A1
• NEWNHAM COLLEGE MAP G R A N G E R O A D
• MFPS 25 Preliminary Proceedings Two cotensors in one
• FORMALIZING TYPES WITH ULTIMATE CLOSURE FOR MIDDLEWARE TOOLS IN INFORMATION SYSTEMS
• MAS175 Groups and Symmetries, 2010-11, Assignment 2 Name . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
• Anticipation as Prediction in the Predication of M. A. Heather*, B. N. Rossiter**
• Updating XML Using Object-Relational Database
• Review for European Journal of Philosophy The Quantum Mechanics of Minds and Worlds
• MAS276: Rings and Groups Semester 2, 2010/11; 10 credits
• 2 Discrete Maths Seminars Exercise 2.1 Products
• Probabilistic Event Structures and Domains Daniele Varacca 1# , Hagen Volzer 2 , and Glynn Winskel 3
• Lecture Notes in Category Theory [Draft] 8th November 2005
• Discrete Mathematics II: Set Theory for Computer Science
• MAS175 Groups and Symmetries 2010-11 Solutions to Exercises on Modular Arithmetic
• On the Quantisation of Points CHRISTOPHER J. MULVEY
• Cofibrantly generated natural weak factorisation Richard Garner
• Terminal coalgebras via modules
• MAS175 Groups and Symmetries, 2010-11, Solutions to Assignment 1 1. A clear glass tile, which can be rotated or turned over, is to be patterned with a 5 5
• Staff and Academic Visitor edition Summer 2011
• 2007 Polimetrica International Scientific Publisher Monza/Italy J.-Y. Bziau, A. Costa-Leite (eds.), Perspectives on Universal Logic, 279-295
• POLYCATEGORIES Richard H. G. Garner
• ree investigations into linear logic Richard Garner
• Review for Contemporary Physics Quantum Dialogue
• Deterministic Concurrent Strategies Glynn Winskel
• Lecture Notes on Denotational Semantics
• A Better x86 Memory Model: x86-TSO Scott Owens Susmit Sarkar Peter Sewell
• Category Theory Examples 4 Michaelmas 2002 Eugenia Ch*
• Category Theory Examples 3 Michaelmas 2002 Eugenia Ch*
• Category Theory Examples 1 Michaelmas 2002 Eugenia Ch*
• Law, Logic and Language in Legal Computer Science
• HOPLA|A Higher-Order Process Language Mikkel Nygaard 1 and Glynn Winskel 2
• Handling Inconsistency with the Universal Reference B.N. Rossiter 1 M.A. Heather 2
• Gros and Petit Toposes The Zariski Topos
• Freyd's construction of [0; 1] as a terminal coalgebra Work on Pos0;1
• c The Author 2008. Published by Oxford University Press on behalf of The British Computer Society. All rights reserved. For Permissions, please email: journals.permissions@oupjournals.org
• Mechanized Metatheory for the Masses: The PoplMark Challenge
• ECSYM Part B1-Section 1d EVENTS, CAUSALITY AND SYMMETRY Glynn Winskel --the next-generation semantics
• Formal Representation of the Logic Embedded in Legal Language
• The Use of Categorical Pullbacks for Integrating Heterogeneous Systems B.N.Rossiter, Computing Science, Newcastle University, Newcastle upon Tyne NE1 7RU,
• A Congruence Rule Format for Name-Passing Process Calculi
• MAS276 Rings and Groups Spring 20092010
• NEWNHAM COLLEGE SENIOR MEMBERS' RESEARCH INTERESTS 2010/11
• Category Theory 1 Eugenia Cheng
• Foundations of Software Technology and Theoretical Computer Science (Bangalore) 2008. Editors: R. Hariharan, M. Mukund, V. Vinay; pp -
• Set Theory for Computer Science Glynn Winskel
• Ott: Effective Tool Support for the Working Semanticist Peter Sewell # Francesco Zappa Nardelli + Scott Owens # Gilles Peskine #
• A Unifying Theory for Content Selfawareness in Distributed Multimedia Publishing
• Category Theory Examples 2 Michaelmas 2002 Eugenia Cheng
• The Categorical Product Data Model as a Formalism for Object--Relational Databases
• N E W N H A M C O L L E G E C A M B R I D G E C B 3 9 D F
• Domain Theory for Concurrency Mikkel Nygaard Glynn Winskel
• Concurrent Strategies Silvain Rideau
• 1 Discrete Maths Seminars--Week 1 Exercise 1.1 Mathematical induction
• Relaxed memory models must be rigorous Francesco Zappa Nardelli1 Peter Sewell2 Jaroslav Sevcik3 Susmit Sarkar2 Scott Owens2
• An agent system for collaborative version control in engineering
• Solutions for MAS277 Problems Solutions for Chapter 1 problems: Review of MAS201
• Linear Logic without Units A thesis submitted to the University of Manchester
• Probabilistic Event Structures and Domains Daniele Varacca a,1
• Category Theory Examples Sheet 4 Michaelmas Term 2008 Richard Garner
• The Stone-ech CompactificationC of Locales, III
• Logical Monism: The Global Identity of Applicable Logic
• The Semantics of Jitter in Anticipating Time Itself within Nano-Technology
• Dr. George Graham White School of Electronic Engineering
• PUBLICATIONS a) Books (edited with introductions)
• Reconsidering Colonialism 5-6 February 2010
• The Semantics of Power and ARM Multiprocessor Machine Code
• Category Theory Examples 2 Michaelmas 2002 Eugenia Ch*
• The Use of Categorical Pullbacks for Integrating Heterogeneous Systems B.N.Rossiter, Computing Science, Newcastle University, Newcastle upon Tyne NE1 7RU,
• Comparing Operational Models of Name-Passing Process Calculi
• Relations in Concurrency Invited talk (corrected version)
• SCHOOL OF MATHEMATICS AND STATISTICS Spring Semester 20102011 Vector spaces and Fourier theory (SOLUTIONS) 2 hours
• Feedback on the MAS277 exam Overall performance on this paper was quite good. Some minor upward scaling was
• SCHOOL OF MATHEMATICS AND STATISTICS Spring Semester 20102011 Vector spaces and Fourier theory 2 hours
• NEWNHAM COLLEGE RESEARCH FELLOWSHIP IN SCIENCE,
• NEWNHAM COLLEGE RESEARCH FELLOWSHIP IN THE HUMANITIES AND SOCIAL SCIENCES 2011-2012
• Deterministic Concurrent Strategies Glynn Winskel
• NEWNHAM COLLEGE, CAMBRIDGE RESEARCH FELLOWSHIP IN THE HUMANITIES AND
• 4th Scottish Category Theory Seminar School of Mathematics and Statistics, University of Glasgow
• Clarifying and Compiling C/C++ Concurrency: from C++11 to POWER
• Discrete Mathematics II: Set Theory for Computer Science
• Newnham College Cambridge Merchandise 2011
• N E W N H A M C O L L E G E C A M B R I D G E C B 3 9 D F
• Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
• Measuring diversity: the importance of species similarity
• MAS276: Rings and Groups Lecturer's version
• The Winning Ways of Concurrent Games Pierre Clairambault, Julian Gutierrez, Glynn Winskel
• Clarifying and Compiling C/C++ Concurrency: from C++11 to POWER
• Membership Publications Professional Development Meetings Organization Competitions Support the MAA
• Models for Concurrency and Games Glynn Winskel
• Measuring diversity: the importance of species Tom Leinster1,2,
• Graphs, rewriting and causality in rule-based models Vincent Danos
• For the ACS course Advanced Topics in Concurrency
• AiM Authoring Tools Introduction
• Constraining rule-based dynamics with types Vincent Danos
• NEWNHAM COLLEGE THE PHYLLIS AND EILEEN GIBBS
• MAS276: Rings and Groups Semester 2, 2011/12; 10 credits