Jacob Vosmaer

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
Generalised powerlocales via relation lifting.
Mathematical Structures in Computer Science, 2013

2012
Generalized powerlocales via relation lifting
CoRR, 2012

2011
Canonical extensions and canonicity via dcpo presentations.
Theor. Comput. Sci., 2011

2009
Canonical extension and canonicity via DCPO presentations
CoRR, 2009

A View of Canonical Extension.
Proceedings of the Logic, Language, and Computation, 2009

2008
Comparison of MacNeille, Canonical, and Profinite Completions.
Order, 2008


  Loading...