|
|
| About site: Computer Science/People/S - Simpson, Alexander |
Return to Computers also Computers
|
| About site: http://homepages.inf.ed.ac.uk/als/ |
Title: Computer Science/People/S - Simpson, Alexander University of Edinburgh - Category theory, domain theory, logic, type theory.
|
| Alexa statistic for http://homepages.inf.ed.ac.uk/als/ |
Please visit: http://homepages.inf.ed.ac.uk/als/
|
| Related sites for http://homepages.inf.ed.ac.uk/als/ |
| REBOL_Tips_and_Tricks REBOL code, mostly for the Amiga | | Paradyn Measurement and analysis tool for parallel programs that use MPI. Papers, source code, binaries, and manuals. | | Commercial_Alert_Files_Complaint_Against_Search_Engines_for_Deceptive_Ads A complaint filed with the United States Federal Trade Commission by Ralph Nader's Commercial Alert service, which charges the major search engines of inserting advertisements in search engine results | | What\'s_Running Checks an Internet host to determine the level of protocol software running. | | Website_Meta_Language A free markup generation toolkit for Unix. News, full documentation, mailing list, examples. [Unix] | | Surfability Provides specialist analysis and optimisation of knowledge-rich intranets and websites. Located in London, United Kingdom. | | InterDoctor Web design by practicing physicians, specializing in custom built web sites for medical professionals. | | Beacon_Software Database backend web development and web services using Java, JSP, JavaBeans, Servlets, J2EE, JFC(Swing), JAX-RPC, JAXM, RMI, SOAP, JRun, Tomcat, JBoss. | | Pod_Safe_Audio Ranks independent music under the Creative Commons license for Podcasting. | | System_Information_Technology ECDL, Microsoft Office, Word, Excel, Access, PowerPoint, internet, email. Located in the United Kingdom. | | UKnames_net Site offers domain name registration service for UK and US names. | | Altera_Forum Forum for Altera products | | Paradigm_52 Collection articles on Windows XP, Ubuntu Linux and Ruby on Rails. | | IRCD Release notes, free download, documentation and FAQ for the (now historical) original Internet Relay Chat Daemon. | | Center_for_Internet_Studies Center for Internet Studies at the University of Washington examines the relationship between the Internet and global society. The Center is an international resource for business, government, and aca | | Application_Service_Providers_and_e-business John Morency of Network World Fusion talks about the rapid growth and increasing potential of ASPs. (May 7, 1999) | | Reactive_Media Full-service website design and development company based in Melbourne, Sydney, and London. | | DynaPlot A real-time chart control for technical applications. By Wilhelm Kurz. [Control, Commercial] | | Flash_Free Weblog dedicated to explain components and effects programmed with AJAX. [English and Spanish] | | n-Trance_Security_Ltd_ Supplier of n-Tegrity USB memory sticks with fingerprint biometric readers plus encryption applications for password and address book management, data encryption, VPN and remote desktop connections, V |
|
This is websites2007.org cache of m/ as retrieved on 2008.08.30 websites2007.org's cache is the snapshot that we took of the page as we crawled the web. The page may have changed since that time.
|
Alex Simpson: Home Page Alex Simpson: Home Page  Dr. Alex SimpsonReaderLaboratory for Foundations of Computer Science (LFCS)School of Informatics, University of EdinburghInformatic Forum10 Crichton Street Edinburgh EH8 9AB, UK.Email: Alex.Simpson@ed.ac.ukPhone: +44 131 650 5113Fax: +44 131 667 7209My research interests include: semantic modelsof computation, especially domain-theoretic and topological models;type theories and associated reasoning principles; logic andproof theory; intuitionistic set theories and theirapplications; constructive mathematics and itscomputational content; probability and randomness.Recent:February 2008:Slides for my talk at theXXIII Incontro di LogicaIntuitionistic Set Theory and its ModelsDecember 2007:Summary of a research project onrelational parametricity for computational effectsSeptember 2007:Slides for my Domains VIII talkNeoclassical domain theoryJuly 2007:Slides for my LICS/LC 2007 talkFormal Borel sets - a proof-theoretic approachMay 2007:Slides for my 3WFTop talkThe Locale of Random Sequences April 2007:Slides for my MFPS XXIII tutorial Beyond Classical Domain Theory December 2006:Summary of a research project ontopological domain theorySeptember 2006:Symposium for Gordon Plotkin, Edinburgh, 7-8 September 2006 Research papers Talks |
|
| |
University | of | Edinburgh | - | Category | theory, | domain | theory, | logic, | type | theory. |
|
http://homepages.inf.ed.ac.uk/als/
Simpson, Alexander 2008 August
dvd rental
dvd
University of Edinburgh - Category theory, domain theory, logic, type theory.
Rules
|
© 2008 Internet Explorer 5+ or Netscape 6+
|
|
Recommended Sites: 1.
Arts -
Business -
Computers -
Games -
Health -
Home -
Kids and Teens -
News -
Recreation -
Reference -
Regional -
Science -
Shopping -
Society -
Sports -
World
Miss Gallery
- Top Anime Hentai
- DVD rental by mail
- Car Insurance - Free Credit Report - Car Accident Lawyer Los Angeles - Loans - Loans
|
