Find link

language:

Find link is a tool written by Edward Betts.

searching for Laboratory for Foundations of Computer Science 3 found (21 total)

alternate case: laboratory for Foundations of Computer Science

Lars Rasmussen (software developer) (645 words) [view diff] exact match in snippet view article

working with Mark Jerrum and Alistair Sinclair in the Laboratory for Foundations of Computer Science at Edinburgh, then moved, with Sinclair, to Berkeley

Effective topos (1,287 words) [view diff] exact match in snippet view article find links to article

effective topos and modest sets (Technical report). Laboratory for Foundations of Computer Science, University of Edinburgh. CiteSeerX 10.1.1.112.4533

Extended ML (377 words) [view diff] exact match in snippet view article find links to article

methodology; ECS-LFCS-89-71 (Report). Edinburgh, Scotland: Laboratory for Foundations of Computer Science, University of Edinburgh. Extended abstract in Proceedings