TopSites
About site: Computer Science/People/P - Pitts, Andrew
Return to Computers also Computers
  About site: http://www.cl.cam.ac.uk/~amp12/

Title: Computer Science/People/P - Pitts, Andrew University of Cambridge - Applications of mathematical logic and category theory to computer science, semantics of programming languages and type theories, formal logics for reasoning about program pr
Kynogon,_an_Artificial_Intelligence_expert_for_the_video_game_industry Kynogon develops advanced AI solutions for the interactive entertainment industry and takes into account the uniqueness of each game. Costs are reduced, deadlines achieved and time-to-market respected

TK_Associates_International,_Inc_ Offering information including reports on I-mode trends and usage.

Jari_Aalto\'s_Emacs_Page A collection of information about Emacs providing links to Emacs related papers, Emacs lisp developer sites, notes about emacs debugging, package pointers and installation tips.

Comparenicus Compare and extract related records from a database.

XLDL_Literature_Description_Language An XML doctype for the storage of novels, stories, poems and related texts.

Word_to_HTML Offers conversion tool for Word and RTF documents. Convert any number of files. Free trial.


  Alexa statistic for http://www.cl.cam.ac.uk/~amp12/





Get your Google PageRank






Please visit: http://www.cl.cam.ac.uk/~amp12/


  Related sites for http://www.cl.cam.ac.uk/~amp12/
    Majestic_12 Distributed Computing Project aimed towards building the largest search engine index on the Internet using Distributed Crawlers.
    CipherLinx Secure remote control technology using Skipjack encryption.
    UI_Access Resource for universal interface design and accessibility that provides techniques to support developing and implementing strategies.
    Streamingteacher_com Provides subscription based delivery of training materials in the form of streaming audio/video. Currently providing online training for Mastercam and SolidWorks.
    NewOpp_ca_Inc_ A customer driven, products, process and innovation solutions provider. Based in Ontario, Canada.
    Robosavvy Discussion forum for owners and hackers of the Robo-one robot. Includes general humanoid robot programming and design topics too.
    Shareware_Hunter Provides latest freeware and shareware software, site updated daily and accept PAD submission from authors.
    Radix_Systems Provides Linux-based solutions and training. Singapore-based.
    HP_Converting_Storied_Garage_into_Recycling_Center Story about HP firing many researchers, focused on Kay, with many reader comments. Good Morning Silicon Valley. (July 21, 2005)
    Intrusion,_Inc_ The maker of SecureNet Pro, a commercial Network Intrusion Detection (NIDS) product suite.
    University_Place_Commodore_Home_User\'s_Group_(UPCHUG) Amiga and Commodore club in Tacoma, Pierce County, WA.
    Briscoe,_Ted University of Cambridge - Speech and language processing, computational linguistics.
    Gill A GNOME illustration application, based on SVG.
    AutoBPM Windows program uses soundcard-wavein to count beats per minute in music.
    Mr__Rock\'s_Brainfuck_Pages Language introduction, tutorial, resources, BF to Perl converter.
    Check_Identical_Files Utility that checks your hard disk for annoying duplicate files and allows you to delete them easily. [Win 9x/NT/2000/Me]
    Hooleon_Corporation Computer Keyboards and Products For Your Keyboard. Learning keyboards, large print, custom keyboards,custom labels, braille, dvorak, protective covers, language labels
    RFC_2894 Router Renumbering for IPv6. M. Crawford. August 2000.
    RFC_2674 Definitions of Managed Objects for Bridges with Traffic Classes, Multicast Filtering and Virtual LAN Extensions. E. Bell, A. Smith, P. Langille, A. Rijhsinghani, K. McCloghrie. August 1999.
    Vox_Scripta Reseller of Dragon NaturallySpeaking voice recognition software, digital recorders, and microphones.
   
   
   
   
   
   
   
   
   
   
 

University

of

Cambridge

-

Applications

of

mathematical

logic

and

category

theory

to

computer

science,

semantics

of

programming

languages

and

type

theories,

formal

logics

for

reasoning

about

program

pr

http://www.cl.cam.ac.uk/~amp12/

Pitts, Andrew 2008 December

dvd rental

dvd


University of Cambridge - Applications of mathematical logic and category theory to computer science, semantics of programming languages and type theories, formal logics for reasoning about program pr

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 - Ringtones - Problem Mortgage - Free Credit Score - MySpace Editor - Free Ringtones
2008-12-02 05:04:53

Copyright 2005, 2006 by Webmaster
Websites is cool :)