Drexel dragonThe Math Forum

The Math Forum Internet Mathematics Library

Logic and Foundations of Programming (LFP)

Library Home || Full Table of Contents || Library Help

Visit this site: http://www.dcs.qmw.ac.uk/research/theory/

Author:Queen Mary and Westfield College, University of London, U.K.
Description: 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.

Levels: College, Research
Languages: English
Resource Types: Research Centers
Math Topics: Logic/Foundations, Computer Science

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994- The Math Forum at NCTM. All rights reserved.