1: \begin{thebibliography}{AM98b}
2:
3: \bibitem[AJ94]{abramsky94:games}
4: S.~Abramsky and R.~Jagadeesan.
5: \newblock Games and full completeness for multiplicative linear logic.
6: \newblock {\em Journal of Symbolic Logic}, 59(2):543--574, 1994.
7:
8: \bibitem[AJM00]{abramsky00:full}
9: S.~Abramsky, R.~Jagadeesan, and P.~Malacaria.
10: \newblock Full abstraction for {PCF}.
11: \newblock {\em Information and Computation}, 163, 2000.
12:
13: \bibitem[AM98a]{abramsky98:games}
14: S.~Abramsky and G.~McCusker.
15: \newblock Call-by-value games.
16: \newblock In {\em Proceedings of CSL '97}, number 1414 in Lecture Notes in
17: Computer Science, pages 1--17. Springer-Verlag, 1998.
18:
19: \bibitem[AM98b]{abramsky98:game}
20: S.~Abramsky and G.~McCusker.
21: \newblock Game semantics.
22: \newblock In H.~Schwichtenberg and U.~Berger, editors, {\em Logic and
23: Computation: Proceedings of the 1997 Marktoberdorf Summer School}, 1998.
24:
25: \bibitem[AM99]{abramsky99:concurrent}
26: S.~Abramsky and P.-A. Melli\`es.
27: \newblock Concurrent games and full completeness.
28: \newblock In {\em Proc. IEEE Symposium of Logic in Computer Science}, pages
29: 431--442. IEEE Computer Society Press, 1999.
30:
31: \bibitem[BHS03]{blute03:softness}
32: R.~Blute, M.~Hamano, and P.~J. Scott.
33: \newblock Softness of hypercoherences and {MALL} full completeness.
34: \newblock {\em Submitted}, 2003.
35: \newblock Preprint available at:
36: \texttt{<http://www.site.uottawa.ca/{$\sim$}phil/>}.
37:
38: \bibitem[Bla92]{blass92:game}
39: A.~Blass.
40: \newblock A game semantics for linear logic.
41: \newblock {\em Annals of Pure and Applied Logic}, 56:183--220, 1992.
42:
43: \bibitem[BW99]{barr99:category}
44: M.~Barr and C.~Wells.
45: \newblock {\em Category theory for computer science}.
46: \newblock Les Publications CRM, third edition, 1999.
47:
48: \bibitem[Che02]{cheng02:weak}
49: E.~Cheng.
50: \newblock Weak {$n$}-categories: opetopic and multitopic foundations.
51: \newblock October 2002.
52: \newblock Submitted to the \emph{Journal of Pure and Applied Algebra}. Also at
53: \texttt{<http://www.dpmms.cam.ac.uk/{$\sim$}elgc2/>}.
54:
55: \bibitem[CKS03]{cockett03:polybicat}
56: J.R.B. Cockett, J.~Koslowski, and R.A.G. Seely.
57: \newblock Morphisms and modules for poly-bicategories.
58: \newblock {\em Theory and Applications of Categories}, 11(2):15--74, 2003.
59:
60: \bibitem[CS97]{cockett97:weakly}
61: J.R.B. Cockett and R.A.G. Seely.
62: \newblock Weakly distributive categories.
63: \newblock {\em Journal of Pure and Applied Algebra}, 114(2):133--173, 1997.
64: \newblock Corrected version available at
65: \texttt{<http://www.math.mcgill.ca/rags/>}.
66:
67: \bibitem[CS01]{cockett01:finite}
68: J.R.B. Cockett and R.A.G. Seely.
69: \newblock Finite sum-product logic.
70: \newblock {\em Theory and Applications of Categories}, 8(5):63--99, 2001.
71:
72: \bibitem[DH00]{danos00:probabilistic}
73: V.~Danos and R.~Harmer.
74: \newblock Probabilistic game semantics.
75: \newblock In {\em Proc. IEEE Symposium of Logic in Computer Science, Santa
76: Barbara, June 2000}. IEEE Computer Society Press, 2000.
77:
78: \bibitem[DM79]{dershowitz79:proving}
79: N.~Dershowitz and Z.~Manna.
80: \newblock Proving termination with multiset orderings.
81: \newblock {\em Communications of the ACM}, 22(8):465--476, 1979.
82:
83: \bibitem[Gir87]{girard87:linear}
84: J.-Y. Girard.
85: \newblock Linear logic.
86: \newblock {\em Theoretical Computer Science}, 50:1--102, 1987.
87: \newblock Available at \texttt{<http://iml.univ-mrs.fr/{$\sim$}girard/>}.
88:
89: \bibitem[GTL89]{girard89:proofs}
90: J.-Y. Girard, P.~Taylor, and Y.~Lafont.
91: \newblock {\em Proofs and types}.
92: \newblock Number 7 in Cambridge Tracts in Theoetical Computer Science.
93: Cambridge University Press, 1989.
94: \newblock Available at
95: \texttt{<http://www.dcs.qmw.ac.uk/{$\sim$}pt/stable/Proofs+Types.html>}.
96:
97: \bibitem[HM99]{harmer99:fully}
98: R.~Harmer and G.~McCusker.
99: \newblock A fully abstract game semantics for finite nondeterminism.
100: \newblock In {\em Proc. IEEE Symposium of Logic in Computer Science}. IEEE
101: Computer Society Press, 1999.
102:
103: \bibitem[HO00]{hyland00:full}
104: J.M.E. Hyland and C.-H.~L. Ong.
105: \newblock On full abstraction for {PCF}: {I}, {II}, and {III}.
106: \newblock {\em Information and Computation}, 163:285--408, 2000.
107:
108: \bibitem[Joy95a]{joyal95:free}
109: A.~Joyal.
110: \newblock Free bicomplete categories.
111: \newblock {\em Math. Reports {XVII}, Acad. Sci. Canada}, pages 219--224, 1995.
112:
113: \bibitem[Joy95b]{joyal95:freeen}
114: A.~Joyal.
115: \newblock Free bicompletion of enriched categories.
116: \newblock {\em Math. Reports {XVII}, Acad. Sci. Canada}, pages 213--218, 1995.
117:
118: \bibitem[Joy95c]{joyal95:lattices}
119: A.~Joyal.
120: \newblock Free lattices, communication, and money games.
121: \newblock In {\em Proc. of the 10th International Congress of Logic,
122: Methodology, and Philosophy of Science}, Firenze, 1995.
123:
124: \bibitem[Lai98]{laird98:semantic}
125: J.~Laird.
126: \newblock {\em A semantic analysis of control}.
127: \newblock PhD thesis, University of Edinburgh, 1998.
128:
129: \bibitem[Lam69]{lambek69:deductive}
130: J.~Lambek.
131: \newblock Deductive systems and categories {II}.
132: \newblock In {\em Category theory, homology theory and their applications {I}
133: (1968)}, volume~86, pages 76--122. LNM, Springer-Verlag, Berlin, Heidelberg
134: and New York, 1969.
135:
136: \bibitem[LS86]{lambek86:intro}
137: J.~Lambek and P.~J. Scott.
138: \newblock {\em Introduction to higher order categorical logic}.
139: \newblock Cambridge University Press, 1986.
140:
141: \bibitem[McC96]{mccusker96:games}
142: G.~McCusker.
143: \newblock Games and full abstraction for {FPC}.
144: \newblock In {\em Proc. IEEE Symposium on Logic in Computer Science}, pages
145: 174--183. IEEE Computer Society Press, 1996.
146:
147: \bibitem[ML98]{maclane98:categories}
148: S.~Mac~Lane.
149: \newblock {\em Categories for the working mathematician}.
150: \newblock Springer GTM 5, second edition, 1998.
151:
152: \bibitem[Nic96]{nickau96:hereditarily}
153: H.~Nickau.
154: \newblock {\em Hereditarily sequential functionals: a game-theoretic approach
155: to sequentiality}.
156: \newblock PhD thesis, Universit{\"a}t-Gesamthochschule-Siegen, 1996.
157:
158: \bibitem[San02a]{santocanale02:circular}
159: L.~Santocanale.
160: \newblock A calculus of circular proofs and its categorical semantics.
161: \newblock In {\em Foundations of Software Science and Computation Structures
162: 02}, volume 2303 of {\em Lecture Notes in Computer Science}. Springer-Verlag,
163: 2002.
164:
165: \bibitem[San02b]{santocanale02:free}
166: L.~Santocanale.
167: \newblock Free $\mu$-lattices.
168: \newblock {\em Journal of Pure and Applied Algebra}, 169:227--264, March 2002.
169:
170: \bibitem[Sco93]{scott93:type}
171: D.~S. Scott.
172: \newblock A type-theoretical alternative to {CUCH}, {ISWIM} and {OWHY}.
173: \newblock {\em Theoretical Computer Science}, 121:411--440, 1993.
174:
175: \bibitem[Whi41]{whitman41:free}
176: P.~M. Whitman.
177: \newblock Free lattices.
178: \newblock {\em Ann. of Math}, 42:325--330, 1941.
179:
180: \end{thebibliography}
181: