Concepedia

Stephen Lack

SL

Statistics

Publications

52

Citations

2.8K

H-Index

27

Active since

1993

Affiliations

Macquarie University(Current)

Western Sydney University

The University of Sydney

University of Calgary

Institute for Particle and Nuclear Physics

Stephen Lack is an author at Macquarie University specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringAutomated ReasoningSemanticsComputer ScienceFormal MethodsRepresentation TheoryDesignLanguageLinguisticsSemantic Web

Publications per year

1993–2022

52

Publications

52

The formal theory of monads II

Stephen Lack, Ross Street · Journal of Pure and Applied Algebra · 2002 · 520 citations

Algebraic Logic, Engineering, Automated Reasoning +4

Introduction to extensive and distributive categories

A. Carboni, Stephen Lack, R. F. C. Walters · Journal of Pure and Applied Algebra · 1993 · 282 citations

Distributive Categories, Language Studies, Semantic Web +5

Adhesive and quasiadhesive categories

Stephen Lack, Paweł Sobociński · RAIRO - Theoretical Informatics and Applications · 2005 · 204 citations

Arbitrary Adhesive, Adhesive Categories, Engineering +15

Restriction categories I: categories of partial maps

J.R.B. Cockett, Stephen Lack · Theoretical Computer Science · 2002 · 165 citations · Full text

Higher Category Theory, Categorical Model, Restriction Categories

Codescent objects and coherence

Stephen Lack · Journal of Pure and Applied Algebra · 2002 · 114 citations

Engineering, Codescent Objects, Coherence +2

1–5 of 52