Logic and Type Systems

• Related Books:
  • Michael Huth, Mark Ryan, Logic in Computer Science
  • Benjamin C. Pierce, Types and Programming Languages
  • Robert Harper, Programming in Standard ML
• Related Applications:
  • Standard ML
  • Twelf