Linear logic in computer science
Library Home || Full Table of Contents || Library Help
|Institut de Mathématiques de Luminy (IML)|
|A network of research groups (part of the European Training and Mobility for Researchers program) concerned with the relation between logic and theoretical computer science. Description of research areas; description of the sites; list of meetings and workshops; post-doc application information.|
|Resource Types:||Research Centers|
|Math Topics:||Category Theory/Homological Algebra, Logic/Foundations, Computer Science|
|Math Ed Topics:||Job Placement/Job Market, Conferences|
© 1994- The Math Forum at NCTM. All rights reserved.