An Overview of the Edinburgh Logical Framework

This publication has 4 references indexed in Scilit:

• Linear logic
  Theoretical Computer Science, 1987
• "Type" is not a type
  Published by Association for Computing Machinery (ACM) ,1986
• Syntactic control of interference
  Published by Association for Computing Machinery (ACM) ,1978
• Call-by-name, call-by-value and the λ-calculus
  Theoretical Computer Science, 1975