Steven Vickers - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 26 from 26

2022

Point-free Construction of Real ExponentiationMing Ng, Steven Vickers. lmcs, 18(3), 2022. [doi]

2019

Sketches for arithmetic universesSteven Vickers. jla, 11, 2019. [doi]

2017

The localic compact interval is an Escardó-Simpson interval objectSteven Vickers. mlq, 63(6):614-629, 2017. [doi]

2016

Positivity relations on a localeFrancesco Ciraulo, Steven Vickers. APAL, 167(9):806-819, 2016. [doi]

2014

Continuity and geometric logicSteven Vickers. japll, 12(1):14-27, 2014. [doi]

2012

Cosheaves and connectedness in formal topologySteven Vickers. APAL, 163(2):157-174, 2012. [doi]

2010

Fuzzy sets and geometric logicSteven Vickers. fss, 161(9):1175-1204, 2010. [doi]

2009

Localic completion of generalized metric spaces II: PowerlocalesSteven Vickers. jla, 1, 2009. [doi]

2008

A localic theory of lower and upper integralsSteven Vickers. mlq, 54(1):109-123, 2008. [doi]

2007

Sublocales in formal topologySteven Vickers. JSYML, 72(2):463-482, 2007. [doi]

2006

A language for configuring multi-level specificationsGillian Hill, Steven Vickers. TCS, 351(2):146-166, 2006. [doi]

2004

A Language for Configuring Multi-level SpecificationsGillian Hill, Steven Vickers. amast 2004: 196-210 [doi]

Entailment systems for stably locally compact localesSteven Vickers. TCS, 316(1):259-296, 2004. [doi]

2003

Localic sup-lattices and tropological systemsPedro Resende, Steven Vickers. TCS, 305(1-3):311-346, 2003. [doi]

2001

Presheaves as Configured SpecificationsSteven Vickers, Gillian Hill. fac, 13(1):32-49, 2001. [doi]

Strongly algebraic = SFP (topically)Steven Vickers. mscs, 11(6):717-742, 2001.

1999

Topical categories of domainsSteven Vickers. mscs, 9(5):569-616, 1999.

1994

Towards a GeoZ ToolkitMark Dawson, Steven Vickers. imperial 1995: 365-380

Geometric logic as a Specification LanguageSteven Vickers. imperial 1995: 321-340

Locales are Not PointlessSteven Vickers. imperial 1995: 199-216

1993

Quantales, Observational Logic and Process SemanticsSamson Abramsky, Steven Vickers. mscs, 3(2):161-227, 1993.

Information Systems for Continuous PosetsSteven Vickers. TCS, 114(2):201-229, 1993.

Geometric Logic in Computer ScienceSteven Vickers. imperial 1993: 37-54

1987

An Algorithmic Approach to the p-adic IntegersSteven Vickers. mfps 1988: 599-615

A Fixpoint Construction of the p-adic DomainSteven Vickers. ctcs 1987: 270-289

1985

Theories as CategoriesMichael P. Fourman, Steven Vickers. ctcs 1986: 434-448

Sign in or sign up to see more results.

runs on WebDSL