A Coalgebraic View of Heyting Duality Academic Article uri icon

publication date

  • December 2003