First order linear logic in symmetric monoidal closed categories. - Simon Ambler (1991)

Arguments, Contradicitions and Practical Reasoning. - John Fox 001; Paul J. Krause; Simon Ambler (ECAI, 1992)

The Development of a "Logic of Argumentation". - Paul J. Krause; Simon Ambler; John Fox 001 (IPMU, 1992)

On Duality for the Modal µ-Calculus. - Simon Ambler; Marta Z. Kwiatkowska; Nicholas Measor (CSL, 1993)

A Logic of Argumentation for Reasoning under Uncertainty. - Paul J. Krause; Simon Ambler; Morten Elvang-Gøransson; John Fox 001 (Comput. Intell., 1995)

Duality and the Completeness of the Modal mu-Calculus. - Simon Ambler; Marta Z. Kwiatkowska; Nicholas Measor (Theor. Comput. Sci., 1995)

Generalized logic and the representation of rings. - Simon Ambler; Dominic R. Verity (Appl. Categorical Struct., 1996)

A Categorial Approach to the Semantics of Argumentation. - Simon Ambler (Math. Struct. Comput. Sci., 1996)

Mechanized Operational Semantics via (Co)Induction. - Simon Ambler; Roy L. Crole (TPHOLs, 1999)

Preface: Mechanised Reasoning about Languages with Variable Binding 2001. - Simon Ambler; Roy L. Crole; Alberto Momigliano (MERLIN, 2001)

Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction. - Simon Ambler; Roy L. Crole; Alberto Momigliano (TPHOLs, 2002)

A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity. - Alberto Momigliano; Simon Ambler; Roy L. Crole (LFM, 2002)

Multi-level Meta-reasoning with Higher-Order Abstract Syntax. - Alberto Momigliano; Simon Ambler (FoSSaCS, 2003)