Type Systems luca
The Structure of Typed Programming Languages
Foundations for Programming Languages
Semantics of type theory : correctness, completeness, and independence results / Thomas Streicher
主題: Type Theory
An introduction to functional programming through Lambda calculus
ML primer
Introduction to Combinators and Calculus (London Mathematical Society Student Texts)
http://portal.acm.org/citation.cfm?id=766966&dl=ACM&coll=portal
http://www.cis.upenn.edu/~bcpierce/ Benjamin C. Pierce Types and Programming Languages
Introduction to Functional Programming using Haskell Richard Bird,
http://web.comlab.ox.ac.uk/oucl/research/areas/ap/
rewriting logic
Conditional rewriting logic as a unified model of concurrency
http://formal.cs.uiuc.edu/meseguer/ Jose Meseguer
Monographs In Computer Science Programming methodology