Steve Lack

Associate Professor

  • 1285 Citations
  • 19 h-Index
1993 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Outputs

Filter
Conference proceeding contribution
2007

Quasitoposes, quasiadhesive categories and Artin glueing

Johnstone, P. T., Lack, S. & Sobociński, P., 2007, Algebra and Coalgebra in Computer Science - Second International Conference, CALCO 2007, Proceedings. Mossakowski, T., Montanari, U. & Haveraaen, M. (eds.). Berlin; Heidelberg: Springer, Springer Nature, p. 312-326 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4624).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

13 Citations (Scopus)
2006

Toposes are adhesive

Lack, S. & Sobociński, P., Sep 2006, Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings. Corradini, A., Montanari, U., Ehrig, H. & Ribeiro, L. (eds.). Berlin; New York: Springer, Springer Nature, p. 184-198 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4178 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

20 Citations (Scopus)