Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Logic and Foundations of Programming (LFP)

_____________________________________
Library Home || Full Table of Contents || Suggest a Link || 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-2014 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.