Article,

Lax extensions of coalgebra functors and their logic.

, and .
J. Comput. Syst. Sci., 81 (5): 880-900 (2015)

Meta data

Tags

Users

  • @dblp

Comments and Reviews