<XML><RECORDS><RECORD><REFERENCE_TYPE>7</REFERENCE_TYPE><REFNUM>5925</REFNUM><AUTHORS><AUTHOR>Crole,R.L.</AUTHOR><AUTHOR>Gay,S.J.</AUTHOR><AUTHOR>Nagarajan,R.</AUTHOR></AUTHORS><YEAR>1995</YEAR><TITLE>An Internal Language for Interaction Categories</TITLE><PLACE_PUBLISHED>Theory and Formal Methods 1994: Proceedings of the Second Imperial College Department of Computing Workshop on Theory and Formal Methods (C. L. Hankin, I. C. Mackie and R. Nagarajan, eds.)</PLACE_PUBLISHED><PUBLISHER>Imperial College Press</PUBLISHER><LABEL>Crole:1995:5925</LABEL><KEYWORDS><KEYWORD>interaction categories</KEYWORD></KEYWORDS<ABSTRACT>We use the techniques of categorical logic to obtain a formal connection between interaction categories (*-autonomous categories with certain additional structure) and typed process theories (simplified versions of certain typed process calculi). The connection is similar in nature to that between cartesian closed categories and the simply typed lambda calculus. Interaction categories are the natural models of process theories. Furthermore, from any process theory we can construct an interaction category which is universal among models of the theory, and from any interaction category we can construct a process theory; these constructions are mutually inverse.</ABSTRACT><URL>http://www.dcs.gla.ac.uk/~simon/publications/tfm94.pdf</URL></RECORD></RECORDS></XML>