Jacob Vosmaer

According to our database, Jacob Vosmaer authored at least 6 papers between 2008 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2013

Generalised powerlocales via relation lifting.

Yde Venema, Steve Vickers, Jacob Vosmaer

Math. Struct. Comput. Sci., 2013

2012

Generalized powerlocales via relation lifting

Yde Venema, Steve Vickers, Jacob Vosmaer

CoRR, 2012

2011

Canonical extensions and canonicity via dcpo presentations.

Mai Gehrke, Jacob Vosmaer

Theor. Comput. Sci., 2011

2009

Canonical extension and canonicity via DCPO presentations

Mai Gehrke, Jacob Vosmaer

CoRR, 2009

A View of Canonical Extension.

Mai Gehrke, Jacob Vosmaer

Proceedings of the Logic, Language, and Computation, 2009

2008

Comparison of MacNeille, Canonical, and Profinite Completions.

Guram Bezhanishvili, Jacob Vosmaer

Order, 2008