Sites that have downloaded this paper

Paul Taylor

September 2007 to June 2010

Computers at the following sites that have downloaded the full text of A Lambda Calculus for Real Analysis between September 2007 and June 2010 inclusive.

Altogether, over 1500 distinct IP addresses (excluding robots such as Google, Yahoo and MSN) have downloaded this paper.

This following list excludes those sites that appear to be robots or private adsl, although some filtering still needs to be done. Most of them are universities.

United Kingdom

Aston, cs.Birmingham, cl.Cambridge, joh.Cambridge, kings.Cambridge, newn.Cambridge, newton.Cambridge, soi.City, ecdf.Edinburgh, inf.Edinburgh, macs.Herriot Watt, doc.Imperial College, mcs.Leicester, Leeds, maths.Manchester, London Metropolitan, cs.Nottingham, well.Oxford, Sunderland, Swansea, cs.York, British Library.

Australia

Latrobe, ics.Macquarie, its.Royal Melbourne Institute of Technology, csse.Melbourne, Sydney, cgs.Victoria.

Austria

Institute of Science and Technology, tu-Graz, complang.tu-Vienna.

Belgium

sia.Louvain-la-Neuve.

Brazil

ime.São Paolo.

Canada

cs.McGill, mgi.Ecole Polytechnique de Montréal, maths.Manitoba, cs.Toronto, cs.Victoria, csd.Western Ontario, York.

Czech Republic

AIS Software, math.Mazaryk (Brno), sci.Mazaryk (Brno), fav.West Bohemia.

Denmark

diku.dk, IT Univerisity (Copenhagen).

Estonia

Estonian Libraries Network.

Finland

IT Centre for Science,

France

eleves.ENS (Paris), Grenoble Institute of Technology, msr.INRIA, INRIA-Alpes.fr, INSA-Lyon, pps.Jussieu (Paris), LAAS, LORIA, Siemens Transport Systems, ONERA Toulouse, lix.Ecole Polytechnique (Paris), Univ-Paris 1.

Georgia

Razmadze Mathematical Institute.

Germany

Federal Institute for Materials Research and Testing, Datasolid, DESY, pia.fu-Berlin, ICS-ag, orn.Max Planck Institute, Magdeburg, kawo2.Rwth-Aachen, Studentenwerk-Goettingen, math.tu-Berlin, mathematik.tu-Darmstadt, informatik.uni-Augsburg, rhrz.uni-Bonn, wi-inf.uni-Essen, mathematik.uni-Kiel, vwl.uni-Mannheim, mathematik.uni-Muenchen, cs.uni-Saarland, hrz.uni-Siegen, informatik.unibw-Muenchen.

Greece

math.Athens.

Hungary

inf.u-Szeged.

India

Atomic Energy, Bhabha Atomic Research Centre.

Iceland

Reykjavik.

Italy

Scuola Normale di Pisa, dm.Bologna, dima.Genova, cimcf.Napoli, ce.Parma, educ.di.Torino, Bruno Kessler Foundation.

Japan

kurims.Kyoto, Mathematical Systems Inc, Taiyo Nippon Sanco.

Korea

KAIST, Pohang.

Netherlands

cs.Nijmegen, science.Nijmegen, student.Twente, science.Amersterdam.

Norway

Norwegian Computing Centre, Bergen, ifi.Oslo.

Poland

im.Jegiellonian, sds.Warsaw, lib.uni.Lodz,

Portugal

Aveiro, mat.Coimbra,

Romania

tu-Iasi, math.UAIC.

Russia

Institute for System Programming of the Russian Academy of Sciences, Krasnogorsk, chem.Moscow State University, uran.ru.

Serbia

rcub.Belgrade.

Slovenia

Josef Stefan Institute (Ljubljana), fe.Ljubljana, fmf.Ljubljana, Maribor.

Spain

caja Madrid, Santiago de Compostela.

Sweden

math.Uppsala, student.Uppsala.

Switzerland

inf.ETH Zurich, cs.Basle, Bern.

United States of America

eecs.Berkeley, Boise State, cds.Cal Tech, concert.cs.Carnegie–Mellon, isri.Carnegie–Mellon, math.Carnegie–Mellon, physics.Denver, osl.Indiana, APL-Johns Hopkins, MIT, cns.Ohio U, cecs.Portland State, cs.Princeton, ist.Penn State, ecn.Purdue, itap.Purdue, Rice, resnet.Rochester, Rutgers, San Francisco State, Stanford, Texas A&M, math.U C Davis, Chicago, ipam.UCLA, cse.UCSC, dt.Houston, scs.UIUC, pa.Kentucky, cs.U Massachussets, cs.North Carolina, US Military Academy, cat.U Texas, cccns.Wisconsin-Milwaukee, Vassar, cs.Virginia, cs.Washington, math.Washington, Widener, med.Yale, Federal Emergency Management Agency, Los Alamos National Laboratory, US Army Corps of Engineers.

This document was translated from LATEX by HEVEA.