diff -r 9e036cad8654 -r f329c1f3b365 logic.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/logic.html Sat Oct 22 10:43:10 2011 +0100 @@ -0,0 +1,158 @@ + + + +Homepage of Christian Urban + + + + + + + + + + + + + + + + +
+ +Links
+Home
+Publications
+Teaching
+Recent Talks
+My Research Group +
+
+ +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
+
Didier Galmiche
+
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
+
John Harrison
+
John Mitchell
+
Karl Crary
+
+		 +
+
Larry Paulson
+
Luke Ong
+
Martin Hofmann
+
Martin Hyland
+
Markus Wenzel
+
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
+
Solomon Feferman
+
Stefan Berghofer
+
Steve Zdancewic
+
Thierry Coquand
+
Tobias Nipkow
+
Ulrich Berger
+
Xavier Leroy
+
+
+ +

Bookmarks

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

+ +Last modified: Mon Mar 29 08:15:12 CEST 2010 + +[Validate this page.] + +