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
18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)
18C99: Categories and theories
Related Items
A Relationship between Equilogical Spaces and Type Two Effectivity, Axioms and (counter)examples in synthetic domain theory