A useful &lgr;-notation

Authors:
Fairouz Kamareddine;Rob Nederpelt
Affiliations:
Univ. of Glasgow, Glasgow, Scotland, UK;Eindhoven Univ. of Technology, Eindhoven, The Netherlands
Venue:
Theoretical Computer Science
Year:
1996

Citing 0
Cited 3

De Bruijn's syntax and reductional equivalence of λ-terms

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
The formal system λδ

ACM Transactions on Computational Logic (TOCL)
A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	5.23

Visualization

Abstract