| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Steven Vickers |
Cosheaves and connectedness in formal topology.  |
Ann. Pure Appl. Logic  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Vickers |
Fuzzy sets and geometric logic. |
Fuzzy Sets and Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim Jung, M. Andrew Moshier, Steven J. Vickers |
Presenting Dcpos and Dcpo Algebras. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Vickers |
A localic theory of lower and upper integrals. |
Math. Log. Q. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Palmgren, Steven J. Vickers |
Partial Horn logic and cartesian categories. |
Ann. Pure Appl. Logic |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Vickers |
Sublocales in formal topology. |
J. Symb. Log. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Steven Vickers |
Locales and Toposes as Spaces. |
Handbook of Spatial Logics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven J. Vickers |
Compactness in locales and in formal topology. |
Ann. Pure Appl. Logic |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gillian Hill, Steven Vickers |
A language for configuring multi-level specifications. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven J. Vickers, Christopher F. Townsend |
A universal characterization of the double powerlocale. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Vickers |
Entailment systems for stably locally compact locales. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gillian Hill, Steven Vickers |
A Language for Configuring Multi-level Specifications. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Resende, Steven Vickers |
Localic sup-lattices and tropological systems. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Vickers, Gillian Hill |
Presheaves as Configured Specifications. |
Formal Asp. Comput. |
2001 |
DBLP DOI BibTeX RDF |
Colimit, Presheaf, Specification, Configuration, Diagram, Category |
| 1 | Steven Vickers |
Strongly algebraic = SFP (topically). |
Mathematical Structures in Computer Science |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Vickers |
Topical categories of domains. |
Mathematical Structures in Computer Science |
1999 |
DBLP BibTeX RDF |
|
| 1 | Mark Dawson, Steven Vickers |
Towards a GeoZ Toolkit. |
Theory and Formal Methods |
1994 |
DBLP BibTeX RDF |
|
| 1 | Steven Vickers |
Locales are Not Pointless. |
Theory and Formal Methods |
1994 |
DBLP BibTeX RDF |
|
| 1 | Steven Vickers |
Geometric logic as a Specification Language. |
Theory and Formal Methods |
1994 |
DBLP BibTeX RDF |
|
| 1 | Steven Vickers |
Information Systems for Continuous Posets. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Samson Abramsky, Steven Vickers |
Quantales, Observational Logic and Process Semantics. |
Mathematical Structures in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Vickers |
Geometric Logic in Computer Science. |
Theory and Formal Methods |
1993 |
DBLP BibTeX RDF |
|
| 1 | Steven Vickers |
An Algorithmic Approach to the p-adic Integers. |
MFPS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Vickers |
A Fixpoint Construction of the p-adic Domain. |
Category Theory and Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael P. Fourman, Steven Vickers |
Theories as Categories. |
CTCS |
1985 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")