Publications

Conference and workshop papers

Journal Papers

  • F. Dahlqvist and D. Pym: Coalgebraic completeness-via-canonicity for distributive substructural logics. Special Issue “15th International Conference on Relational and Algebraic Methods in Computer Science”, Journal of Logical and Algebraic Methods in Programming. Submitted for publication.
  • F. Dahlqvist: Coalgebraic Completeness-via-Canoncicity. Special Issue “CMCS 2016”, Journal of Logical and Algebraic Methods in Programming. Submitted.

PhD Thesis

F. Dahlqvist: Completeness-via-canonicity for coalgebraic logics, Doctoral Thesis, Imperial College, 2014.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s