This records, in no particular order, links to various people whose work, ideas, and/or general craziness interest me. No doubt some links are broken.
Bill Tait
Leslie Lamport
Thierry Coquand
Anton Setzer
Peter Aczel
Peter Dybjer
Erik Palmgren
Pierre Hyvernat
Giovanni Sambin
Jeremy Avigad
Butler Lampson
Thorsten Altenkirch
Fritz Vaandrager
Lev Beklemishev
Wilfried Buchholz
Sol Feferman
Herman Jervell
Masahiro Hamano
Helmut Schwichtenberg
Jesper Carlström
He Jifeng
Stan Wainer
Mitsuhiro Okada
Fred Schneider
Ulrich Kohlenbach
Arnold Beckmann
Fred Richman
Roland Backhouse
Tony Hoare
Doaitse Swierstra
Pedro Resende
Harold Simmons
Ian Mason
Tarmo Uustalu
Thomas Forster
Jim Gray
Ralph-Johan Back
P. J. Voda
Joakim von Wright
Joseph Morris
David Naumann
Vladimir Sazonov
Thomas A. Henzinger
Andre van der Hoek
Venanzio Capretta
Michael Rathjen
David Corfield
Michael Beeson
Roy Dyckhoff
Dana Scott
Greg Nelson
Amy Felty
Alan Mycroft
John Lucas
Adrian R.D.Mathias
Axel Boldt
Philip Scott
Andrea Schalk
Andreas Weiermann
Lawrence Lessig
Gila Hanna
Richard Zach
Wolfgang Burr
Thomas Ehrhard
Martin Schwenke
James Worrell
Jason Hickey
Daniel Leivant
Grigori Mints
Andrei Voronkov
Martin Erwig
Phillip Koopman
James Robert Brown
F W Lawvere
Jean-Yves. Girard
Alex Wilkie
Lloyd Allison
Hilbert Levitz
John Rushby
Ralph Loader
Carroll Morgan
David Harel
Oege de Moor
Alan Jeffrey
Joe Wells
Peter Ladkin
Greg Restall
Simon Peyton-Jones
Roger White
John Slaney
Justin Leiber
Mario Caccamo
Wilfred Hodges,
Andrew Hodges
John Mitchell
Jon G. Riecke
Jeffrey D. Ullman
Tom Leinster
Phil Wadler
Martin Otto
Jeff Erickson
Norman Danner
Gopalan Nadathur
Torkel Franzen
David Wolfram
Alan Smaill
Stephen J. Garland
Marisa Venturini Zilli
Aarne Ranta
Aviezri Fraenkel
Tobias Nipkow
Arvind Gupta
David Walker
Gilles Dowek
Mitchell Wand
David Sands
Matt Frank
Geoffrey Ostrin
Eduardo Giménez
Frederic Tronel
Jaakko Hintikka
Manfred Broy
Eugenio Moggi
Thomas Studer
Alberto Pardo
Wilfried Sieg
G. Jäger
Philip Ehrlich
Wolfgang Becker
Ingrid M Rewitzky
Ralf Hinze
Diomidis Spinellis
Dr C.B. Jay
E. T. Bittar
Lafont
Luke Ong
Vladimir Orevkov
Philip Welch
Jose Emilio Labra Gayo
Edward N. Zalta
Philippa Gardner
Adamek Jiri
Eric Schechter
Shai Ben-David
Ewen Denney
Bruno Barras
Perdita Stevens
Gerard Huet
Susan Stepney
Simon Marlow
Michael Read
John Wash
Peter Clote
Harvey Friedman
Alexandre Miquel
Steve Vickers
Nancy A. Lynch
John C. Mitchell
Jan von Plato
Randy Pollack
Yasuyuki Tsukada
Brian Randell
Fairouz Kamerridine
Gregor Kiczalos
Sara Negri
Sachio Hirokawa
Martin Hofmann
Sören Stenlund
Donald Knuth
Fridlender, Daniel (frito)
Christophe Raffalli
Jayadev Misra
Sheeran, Mary
Stephan Merz
Amir Pnueli
Andrea Asperti
Marcelo Fiore
N. Bedon
J. E. Pin
Nachum Dershowitz
Andrzej Filinski
Rene Vestergaard
Gordon Plotkin
Roberto De Prisco
Silvio Valentini
Steve Simpson
Robert Harper
Don Sannella
Simon Thompson
Paul-André Melliès
Richard S. Bird
Yuri Matiyasevich
Lawrence Moss
Jeff Zucker
Lennart Augustsson
Dusko Pavlovic
Luis E. Sanchis
Charles Stewart
Benjamin Werner
Ulrich Berger
Benjamin Pierce
Alex Simpson
Dale Miller
Jan Zwanenburg
Andrew M. Pitts
Bruce J. McAdam
Natasha Alechina
Dave Hanson
Guy McCusker
Robin Cockett
Robert J. van Glabbeek
David Cheriton
Greg Chaitin
Dr Eike Ritter
Alexei Lisitsa
Lincoln Wallen
Magnus Carlsson
Makoto Tatsuta
Makoto Takeyama
John Hughes
Alastair Reid
Jocelyn Paine
Geraint Jones
Koen Claeseen
Frank Pfenning
Sergei Soloviev
Jeannette M. Wing
Frank Pfenning
Paul Callaghan
Andrew Appel
Daniele Turi
Jim Laird
John Longley
Valeria de Paiva
David Gries
Chris Marlin
Michael Hedberg
David Pym
Ilya Beylin
Gary Leavens
Bart Jacobs
Claus Reinke
Tim Mann
Bernard Sufrin
Jean Gallier
Andre Scedrov
Anthony Daniels
Lambert Meertens
Cristof Fetzer
Catarina Coquand
Bernard Sufrin
Hallgren, Thomas
Henk Barendregt
Andy Gordon
Erik Meijer
Johannes Waldmann
Simon B. Jones
Reino Kurki-Suonio
Nancy Casey
Dr Simon Thompson
Herlihy
Bengt Nordström
Stefan Kahrs
Robert S. Boyer
Maarten M Fokkinga
Norman Ramsey
Xavier Leroy
Jan Willem Klop
Kim B. Bruce
Olin Shivers
Mark P. Jones
Healf Goguen
Lisa A. Walton
J. Rutten
Conor McBride
Stephen Ferguson
Bror Bjerner
Johan Jeuring
Olivier Danvy
Colin Stirling
Jim Woodcock
Jan Smith
Crispin Wright
Samson Abramsky
Don Sannella
Mark Shield
John Tucker
Kohei Honda
Jerzy Karczmarczuk
James McKinna
Dick Kieburtz
Robert F C Walters
Peter O'Hearn
Matt Fairtlough
Marina Lenisa
Peter Sestoft
Michel Bel
Pieter H Hartel
Felix Joachimski
Paul Taylor
Zhaohui Luo
Bruce Jacob
Yuri Gurevich
Pierre Lescanne
Pierre-Louis Curien
Peter Thanisch
Giuseppe Longo
Harold Thimbleby
Cynthia Dwork
Mark Steedman
Colin J. Taylor
Shigeki Goto
Thomas Kleymann
Marek Zaionc
Richard Statman
Gerard Berry
David Aspinall
Alan Bundy
Pr. J.-Ch. Grégoire
Rod Burstall
Walid Taha
E.Dijkstra
Eijiro Sumii
Daniel E. Loeb
Nick Benton
Ralph Matthes
Jean-Christophe Filliâtre
Chantal Berline
E. A. Cichon
Luca Cardelli
Andreas R. Blass
Herman Geuvers
Stuart Anderson
Peter Selinger
Martin Wehr
Michael Barr
Carlson, Timothy
Edward Nelson
N. G. de Bruijn
Tom Jech
Arnon Avron
Michael Mislove
John Halleck
Dag Normann
Henrik Persson
Rajeev Gore
Gregory McColm
Ieke Moerdijk
John Launchbury
Antony Galton
Dave Raggett
Lou Burnard
John Harrison
Joshua Hodas
Anders Andersson
Monika Seisenberger
John Mayberry
Paul Jackson
N. Ghani
Andrzej Tarlecki
Thomas Schreiber
oleg
Ganziger (Saarbrucken)
Sven Panne
Naoyuki Tamura
A. A. Razborov
Conal Elliott
Samuel Buss
Sean Cearley
Peter Ladkin
Paul Hudak
Christoph Wedler
Cris Moore
Masahiko Sato
Manuel Chakravarty
Alan Paxton
Richard Kennaway
Varmo Vene :varmo@cs.ut.ee
Andreas Abel
Jim Fieser
Jean-Louis Krivine
Marcello M. Bonsangue
Olaf Chitil
Rob Nederpelt
Ewen Denney
Philippe de Groote
David Peleg
John Mitchell
Pawel Urzyczyn
Dr Mirna Dzamonja
C.D.W.Feather
Hugo Herbelin
Furio Honsell
Anne Troelstra
Patrick Lincoln
Martin Hyland
Juliet Floyd
Pierre-Louis Curien
Larry Paulson
Laura Crosilla
Nancy Levenson
John Newsome Crossley
Samuel Boutin
Juliusz Chroboczek
Philip J. Koopman, Jr.
Robert Stärk
Wolfram Pohlers
Freek Wiedijk
Cliff Jones
Jens Blanck
Jonathan Seldin
P.J. Scott
John McCarthy
M. Hasegawa
David Keenan
Martín Abadi
Tim Bradshaw
Meurig Sage
Martín Escardó
Stefano Berardi
Thomas Streicher
Peter G. Neumann (RISKS)
Naom Chomsky
Peter M. Neumann
Francis Tang
Chris Mulvey
Chris Okasaki
Claudia Faggian
G. Donald Allen
Mark Tuttle
Douglas Howe
Jeannette M. Wing
Rob van Ommering
Varol Akman
Andrew Pitts
Bill Spitzak
Mark Lillibridge
Martin Ruckert
Morten Heine Sørensen
Robert Harper
David Wheeler
Ingrid Rewitzky
Brian Howard (bridgewater)
Brian Howard (kansas)
Laurent Regnier
David Madore
Lorenzo Tortora de Falco
Carsten Fuhrmann
Jim Lipton
A. N. Walker
Martìn Raskovsky
Jean-Luc Delatre
John Etchemendy
Peter Schroeder-Heister
Martin Richards
Dr. C.G. Gibson
Hans Aberg
Andreas R. Blass
Stephen Ferguson
Jeremy Gibbons
Graham Hutton
Keith Wansbrough
Qrczak
Neil D. Jones
Markus Mottl
Peter Doyle
Andrew Burbanks
John C. Reynolds
Henry Flynt
David Isles
Tim Carlson
Piotr Koszioder
Joelle Despeyroux
Brian Hayes
Joe Monzo
Melvin Fitting
Ross Paterson
Jens Palsberg
Daniel E. Loeb
Mark Wooding
Alan Dearle
Vincent Danos
Andre Scedrov
Catuscia Palamidessi
David Sangiorgi
Didier Galmiche
François Lamarche
Gavin Bierman
Gerard Boudol
Aarmod Sane
Harold Schellinx
Iliano Cervesat
James Harland
Jean-Baptiste Joinet
Jean-Marc Andreoli
Kristoffer Rose
Michael Thielscher
Ron Pisaturo
Paul Ruet
Roel Bloo
David Stuart
James Sutherland
Peter Marsh
Roedy Green
Andreas Reuter
Steffen Hölldobler
Ken Hyder
Chris Spedding
mc frontalot
Asger Eir
Henry Flynt
Dr Peter Hancock (not me!)
Dr Peter Hancock (me)
Dead:
Archimedes
Boethius
Leibniz
Charles Babbage (1791-1871)
Wallis
Napier
Napier and the doves
Jean Fourier
Georg Cantor
Gottlob Frege
Husserl
Charles Babbage
Gentzen
Turing
another Turing page
Post
John von Neumann
Charles Babbage
Ernest Zermelo
William James
Charles Sanders Peirce
Weierstrass
Robin Gandy
Jon Barwise (Indiana)
W.V.O. Quine
Elisabeth Anscombe
Elisabeth Anscombe (obituary)
George Orwell
Additions: