YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname.    Price: USD 49.900,-    Phone: +49(176)74919078
     
     
Yurtseven.ORG
 Yurtseven.ORG
     
HOME host:www.cl.cam.ac.uk  Search for:  host:www.cl.cam.ac.uk
 
Sort by Sort by          Date Sort by       Alphabetical Sort by       Category Sort by

Showing  10 - 20  of total  33  results  [ 1.007  seconds ]  


 
 11 - Pitts, Andrew Browse Website open in new window
   
  07-January-2012 
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 properties.


     [similar pages] 


 
 12 - Robinson, Peter Browse Website open in new window
   
  07-January-2012 
University of Cambridge - Human-computer interaction, electronic design automation, self-timed circuits.


     [similar pages] 


 
 13 - Richards, Martin Browse Website open in new window
   
  07-January-2012 
University of Cambridge - Programming language design and implementation, typeless languages, optimizing compilers, efficient interpreters, just-in-time compilation.


     [similar pages] 


 
 14 - Sewell, Peter Browse Website open in new window
   
  07-January-2012 
University of Cambridge - Secure encapsulation, pi-calculus, mobile agents, operational semantics, locality typing.


     [similar pages] 


 
 15 - Slind, Konrad Browse Website open in new window
   
  07-January-2012 
University of Cambridge - Automated reasoning, implementation and application of higher order logic.


     [similar pages] 


 
 16 - Rok Strniša Browse Website open in new window
   
  07-January-2012 
Ph.D. student working in the Theory and Semantics Group at the Computer Laboratory, University of Cambridge.


     [similar pages] 


 
   
  07-January-2012 
Centred around mathematical models of a variety of languages and logics, using techniques such as structural operational semantics, linear logic, domain theory and category theory. Strong links with Logic and Set Theory in the Pure Mathematics Department.


     [similar pages] 


 
   
  07-January-2012 
Tips for using LaTeX and PDF to make electronically published papers more useful for readers.


     [similar pages] 


 
   
  07-January-2012 
Information about Unicode fonts for Linux and X11 users.


     [similar pages] 


 
   
  07-January-2012 
Article by his wife describing his life, work, and achievements.


     [similar pages] 

« Previous  1  2  3  4  Next »


Callcenter Software


Add URL  |  My Sites  |  My Account  |  Login  |  Contact Us