Publication schedule
  • №2 June 2024
  • №3 September 2024
  • №4 December 2024

Articles by keywords "lambda-calculus"

Complete Head Linear Reduction

Software of Computer, Telecommunications and Control Systems
  • Year: 2017
  • Volume: 10
  • Issue: 3
  • 30
  • 5485
  • Pages: 59-82