Topos aspects of the extended Priestley duality

Topos aspects of the extended Priestley duality

Bibliographic Details
Main Author:	Viglas, Konstantinos
Published:	King's College London (University of London) 2004
Subjects:	004.0151
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.406053

Similar Items

Modelling and tool support for the formal development of distributed systems
by: Papatsaras, Antonis D.
Published: (2003)

Bit-width optimisation for arithmetic hardware
by: Abdul Gaffar, Altaf Munawar
Published: (2005)

The event based modelling of systems
by: Stoddart, Bill
Published: (2001)

Membrane systems for molecular computing and biological modelling
by: Bernardini, Francesco
Published: (2005)

Hybrid bounding volume hierarchy algorithms for collision detection between deformable objects
by: Madera RamiÌrez, Francisco Alejandro
Published: (2008)

On the complexity of model checking counter automata
by: Haase, Christoph
Published: (2012)

On collapsible pushdown automata, their graphs and the power of links
by: Broadbent, Christopher H.
Published: (2011)

Mathematical documents faithfully computerised : the grammatical and text & symbol aspects of the MathLang framework
by: Maarek, Manuel
Published: (2007)

Coupled electron transfer and catalysis by respiratory flavoenzymes
by: Hudson, Janette Meron
Published: (2004)

Studies on recombinant P. Sativum and human 5-aminolaevulinic acid dehydratases
by: Youell, James Humphrey
Published: (2004)

Studies on recombinant human 5-aminolaevulinic acid dehydratase and recombinant human porphobilinogen deaminase
by: Butler, Danica
Published: (2004)

A local grid method in solid mechanics
by: Cardew, George Evelyn
Published: (2004)

Exploring non-linearities in economic and financial time series
by: Peroni, Chiara
Published: (2006)

An investigation into the removal of human topoisomerase II-DNA adducts
by: Curtis, Hannah
Published: (2008)

Specification testing in macroeconomic modelling of nonlinearity
by: Najarian, Serineh
Published: (2006)

A study of human disorders in the sialic acid synthesis pathway
by: Patzel, Katherine A.
Published: (2011)

A generalization of totally unimodular and network matrices
by: Kotnyek, Balázs
Published: (2002)

Molecular biology of signal terminating enzymes : identification and strructure-function relationships with signalling proteins
by: Tate, Rothwelle Joseph St. John
Published: (2007)

Regulation of porcine and ovine stearoyl co-enzyme a desaturase gene expression
by: Zulkifli, Razauden M.
Published: (2007)

Contribution to locally enjoyed public goods, herding behavior and common fate effect: three essays in collective decision making
by: Corazzini, Luca
Published: (2008)

On the problem of existence of chaos in economics
by: Sousa, Paulo
Published: (2003)

An experimental investigation of dynamic choice behaviour
by: Ruiz-Martos, Maria
Published: (2007)

The identification and characterisation of a novel deubiquitinating enzyme DUB-3
by: Grattan, M. J.
Published: (2005)

Discretely monitored tenor varying exchange arrangements
by: Tanpradist, Tanapan
Published: (2006)

Lévy processes, representations and models with application in finance
by: Yip, Wing Yan
Published: (2008)

Testing methods to value health outcomes in low income countries using contingent valuation and discrete choice experiment methods
by: Ternent, Laura
Published: (2012)

The b-chromatic number of regular graphs
by: Mortada, Maidoun
Published: (2013)

Filtrage et commande basée sur un observateur pour les systèmes stochastiques
by: Barbata, Asma
Published: (2015)

Exploiting the memory-communication duality in parallel computation
by: Vasilev, Vasil P.
Published: (2004)

Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras
by: Cabrer Leonardo, et al.
Published: (2006-12-01)

John BAXENDALE, Priestley’s England: J.B Priestley and English Culture
by: Cécile Vallée
Published: (2008-04-01)

Priestley’s progress: the life of Sir Raymond Priestley, Antarctic explorer, scientist, soldier, academician
by: Peder Roberts
Published: (2018-01-01)

The novels of J B Priestley
by: Smith, K. E.
Published: (1975)

Semantic spaces in priestley form
by: El-Zawawy, Mohamed Abdel-Moneim Mahmoud Mohamed
Published: (2006)

An extended calculus of constructions
by: Luo, Zhaohui
Published: (1990)

Mary Priestley interviewed by Leslie Bunt
by: Leslie Bunt
Published: (2004-07-01)

OPE+q : an extended path expression language
by: Tam, Chi Cheong
Published: (1988)

Extending the applicability of deterministic multithreading
by: Nowack, Vesna
Published: (2016)

Extending the ERS approach for workflow modelling in Event-B
by: Dghaym, Dana
Published: (2017)

Extending Kelly staking strategies to peer-to-peer betting exchanges
by: Noon, Edmund
Published: (2013)