A list-oriented extension of the lambda-calculus satisfying the Church-Rosser theorem
- György E. Révész
- 1992
- Theoretical Computer Science
Publications
3 results for Gyorgy Revesz
Comparing two functional programming systems
- Brent Hailpern
- Tien Huynh
- et al.
- 1992
- IEEE Transactions on Software Engineering
Comparing Two Functional Programming Systems
- Brent Hailpern
- Tien Huynh
- et al.
- 1989
- IEEE Transactions on Software Engineering