Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
1 result

The Safe Lambda Calculus

William Blum ; C. -H. Luke Ong.
Safety is a syntactic condition of higher-order grammars that constrains occurrences of variables in the production rules according to their type-theoretic order. In this paper, we introduce the safe lambda calculus, which is obtained by transposing (and generalizing) the safety condition to the&nbsp;[&hellip;]
Published on February 19, 2009
Volume 5, Issue 1
  • < Previous
  • 1
  • Next >