Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Mike Gordon bio

view this post on Zulip Email Gateway (Aug 22 2022 at 17:46):

From: Lawrence Paulson <lp15@cam.ac.uk>
Colleagues may be interested in my biographical article on Mike Gordon, whose promotion of higher-order logic has had such a profound impact on our field.

https://arxiv.org/abs/1806.04002

Corrections welcome.

Larry Paulson

Last updated: Apr 24 2024 at 08:20 UTC