Journal of Symbolic Computation External and Internal Syntax of the Λ-calculus

@inproceedings{Sato2010JournalOS,
  title={Journal of Symbolic Computation External and Internal Syntax of the Λ-calculus},
  author={Masahiko Sato and Randy Pollack},
  year={2010}
}
It is well known that formally defining and reasoning about languages with binding (such as logics and λ-calculii) is problematic. There are many approaches to deal with the problem, with much work over recent years stimulated by the desire to formally reason about programming languages and program logics. The various approaches have their own strengths and drawbacks, but no fully satisfactory approach has appeared. We present an approach based on two levels of syntax: an internal syntax which… CONTINUE READING
Highly Cited
This paper has 23 citations. REVIEW CITATIONS

Topics

Statistics

051015201620172018
Citations per Year

Citation Velocity: 4

Averaging 4 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.