## Paper: Modelling Computations: A 2-Categorical Framework (at LICS 1987)

**Robert A. G. Seely**

### Abstract

An introduction to 2-categories is given by illustrating how the structure of typed lambda calculus may naturally be viewed as a 2-category. In this vein, the structure of computations or conversions gives rise to notions of lax 2-adjointness.

### BibTeX

@InProceedings{Seely-ModellingComputatio, author = {Robert A. G. Seely}, title = {Modelling Computations: A 2-Categorical Framework}, booktitle = {Proceedings of the Second Annual IEEE Symposium on Logic in Computer Science (LICS 1987)}, year = {1987}, month = {June}, pages = {65--71}, location = {Ithaca, NY, USA}, publisher = {IEEE Computer Society Press} }