Logic and Foundations of Programming (LFP)
Library Home || Full Table of Contents || Library Help
|Queen Mary and Westfield College, University of London, U.K.|
|The LFP group has wide interests covering many aspects of mathematical, philosophical, and computational logic and virtually the whole of the theory of programming languages and the process of programming.|
|Resource Types:||Research Centers|
|Math Topics:||Logic/Foundations, Computer Science|
© 1994- The Math Forum at NCTM. All rights reserved.