Links
Home
Publications
Teaching
Recent Talks
Nominal Isabelle

Handy Information
People in Logic
Programming Languages
Miscellaneous

Logic Related Links

An Incomplete List of People Working in Logic, Proof Theory, Theorem Provers and Related Areas

Andrew Appel
Andrew Pitts
Amy Felty
Benjamin Pierce
Catuscia Palamidessi
Claudia Faggian
Dale Miller
Daniel Friedman
David Pym
Edmund Robinson
Frank Pfenning
Gavin Bierman
George Necula
Gianluigi Bellin
Gilles Dowek
Glynn Winskel
Gopalan Nadathur
Gordon Plotkin
Helmut Schwichtenberg
Henk Barendregt
Hugo Herbelin
Iliano Cervesato
James Cheney
Jean Gallier, papers
Jean-Yves Girard
Joachim Parrow
John Harrison
John Mitchell
Karl Crary
Larry Paulson
Lars Birkedal
Laurie Tratt
Luke Ong
Mahyar Malekpour
Maribel Fernandez
Markus Wenzel
Martin Hofmann
Martin Hyland
Matthias Baaz
Matthias Felleisen
Michael Norrish
Mitchell Wand
Neil Jones
Nick Benton
Peter Homeier
Peter Sewell
Phil Scott
Philip Wadler
Pierre-Louis Curien
Randy Pollack
René Vestergaard
Robert Constable
Robert Harper
Roy Dyckhoff
Samson Abramsky
Steffen Hölldobler
Steffen Zschaler
Stefan Berghofer
Steve Zdancewic
Thierry Coquand
Tobias Nipkow
Ulrich Berger
Xavier Leroy

Bookmarks

Survey on linear logic programming languages by Dale Miller
Researchers in Rewriting
List of open problems in term rewriting
Computability Logic Homepage

Last modified: Mon May 9 11:44:32 BST 2016 [Validate this page.]