Simon Ambler

According to our database, Simon Ambler authored at least 13 papers between 1991 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

Multi-level Meta-reasoning with Higher-Order Abstract Syntax.

Alberto Momigliano, Simon Ambler

Proceedings of the Foundations of Software Science and Computational Structures, 2003

2002

A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity.

Alberto Momigliano, Simon Ambler, Roy L. Crole

Proceedings of the International Workshop on Logical Frameworks and Meta-Languages, 2002

Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction.

Simon Ambler, Roy L. Crole, Alberto Momigliano

Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

2001

Preface: Mechanised Reasoning about Languages with Variable Binding 2001.

Simon Ambler, Roy L. Crole, Alberto Momigliano

Proceedings of the Mechanized Reasoning about Languages with Variable Binding, 2001

1999

Mechanized Operational Semantics via (Co)Induction.

Simon Ambler, Roy L. Crole

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999

1996

A Categorial Approach to the Semantics of Argumentation.

Simon Ambler

Math. Struct. Comput. Sci., 1996

Generalized logic and the representation of rings.

Simon Ambler, Dominic R. Verity

Appl. Categorical Struct., 1996

1995

Duality and the Completeness of the Modal mu-Calculus.

Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor

Theor. Comput. Sci., 1995

A Logic of Argumentation for Reasoning under Uncertainty.

Paul J. Krause, Simon Ambler, Morten Elvang-Gøransson, John Fox

Comput. Intell., 1995

1993

On Duality for the Modal µ-Calculus.

Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor

Proceedings of the Computer Science Logic, 7th Workshop, 1993

1992

The Development of a "Logic of Argumentation".

Paul J. Krause, Simon Ambler, John Fox

Proceedings of the IPMU '92, 1992

Arguments, Contradicitions and Practical Reasoning.

John Fox, Paul J. Krause, Simon Ambler

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1991

First order linear logic in symmetric monoidal closed categories.

Simon Ambler

PhD thesis, 1991