Steve Vickers

Publication Activity (10 Years)

Years Active: 2012-2013
Publications (10 Years): 0

Top Topics

Explanation Based Generalization

Computer Vision

Top Venues

Math. Struct. Comput. Sci.

Computation, Logic, Games, and Quantum Foundations

Publications

Steve Vickers
Domain Theory in Topical Form. Computation, Logic, Games, and Quantum Foundations (2013)
Yde Venema, Steve Vickers, Jacob Vosmaer
Generalised powerlocales via relation lifting. Math. Struct. Comput. Sci. 23 (1) (2013)
Yde Venema, Steve Vickers, Jacob Vosmaer
Generalized powerlocales via relation lifting CoRR (2012)