Publication:4261092
From MaRDI portal
zbMath0933.18007MaRDI QIDQ4261092
Publication date: 21 September 1999
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=20#20022
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Categories and theories (18C99)
Related Items
A Relationship between Equilogical Spaces and Type Two Effectivity, Axioms and (counter)examples in synthetic domain theory