A categorical version of the Brouwer-Heyting-Kolmogorov interpretation

  • Erik Palmgren
  • Published 2004 in Mathematical Structures in Computer Science

Abstract

Sorry, we couldn't extract an abstract for this paper.
DOI: 10.1017/S0960129503003955

Topics

  • Presentations referencing similar topics