Skip to navigation | Skip to main content | Skip to footer
Menu
Menu Search the University of Manchester siteSearch
Search type

Alternatively, use our A–Z index

Prof Peter Aczel - publications

List of publications

2008

2006

2002

2001

2000

  • Aczel, P., Backhouse, R. C. (Ed.), Crole, R. L. (Ed.), & Gibbons, J. (Ed.) (2000). Algebras and Coalgebras. In R. C. Backhouse, R. L. Crole, & J. Gibbons (Eds.), Algebraic and Coalgebraic Methods in the Mathematics of Program Construction. (Vol. 2297, pp. 79-88). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 38ed90f2-e539-4a97-b249-54825f4a1643
  • Aczel, P., Gambino, N., Callaghan, P. (Ed.), Luo, Z. (Ed.), McKinna, J. (Ed.), & Pollack, R. (Ed.) (2000). Collection Principles in Dependent Type Theory. In P. Callaghan, Z. Luo, J. McKinna, & R. Pollack (Eds.), TYPES. (Vol. 2277, pp. 1-23). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 9f2fd11a-5da7-4702-aa9f-16ed991e5bd0

1998

  • Aczel, P., Altenkirch, T. (Ed.), Naraschewski, W. (Ed.), & Reus, B. (Ed.) (1998). On Relating Type Theories and Set Theories. In T. Altenkirch, W. Naraschewski, & B. Reus (Eds.), TYPES. (Vol. 1657, pp. 1-18). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 4b3e918c-d16e-4669-b417-959907c83362

1993

  • Aczel, P., Brookes, S. D. (Ed.), Main, M. G. (Ed.), Melton, A. (Ed.), Mislove, M. W. (Ed.), & Schmidt, D. A. (Ed.) (1993). Final Universes of Processes. In S. D. Brookes, M. G. Main, A. Melton, M. W. Mislove, & D. A. Schmidt (Eds.), MFPS. (Vol. 802, pp. 1-28). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: adea5994-998e-4376-b7ea-5d60340d3553

1989

  • Aczel, P., Mendler, N. P., Pitt, D. H. (Ed.), Rydeheard, D. E. (Ed.), Dybjer, P. (Ed.), Pitts, A. M. (Ed.), & Poigné, A. (Ed.) (1989). A Final Coalgebra Theorem. In D. H. Pitt, D. E. Rydeheard, P. Dybjer, A. M. Pitts, & A. Poigné (Eds.), Category Theory and Computer Science. (Vol. 389, pp. 357-365). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 99de34be-f3bf-48f7-8e51-a3d7c182204c

1988

  • Mendler, P. F., & Aczel, P. (1988). The notion of a Framework and a framework for LTC. In LICS. (pp. 392-399). IEEE Computer Society. . Publication link: b32e7d71-b953-4084-bfc7-08b2589e9c73

1986

  • Aczel, P., Paris, J. B., Wilkie, A. J., Wilmers, G. M., & Yates, C. E. M. (1986). European Summer Meeting of the Association for Symbolic Logic: Manchester, England, 1984. Journal of Symbolic Logic, 51(2), 480-502. . Publication link: ccded3f4-d819-45d6-b95f-f2d7b1021856

1972