The weak call-by-value lambda-calculus is reasonable for both time and space

অনুরূপ উপাদানগুলি

• Call-by-value Termination in the Untyped lambda-calculus
  অনুযায়ী: Neil D. Jones, অন্যান্য
  প্রকাশিত: (2008-03-01)
• Light Logics and the Call-by-Value Lambda Calculus
  অনুযায়ী: Paolo Coppola, অন্যান্য
  প্রকাশিত: (2008-11-01)
• Proof nets and the call-by-value lambda-calculus
  অনুযায়ী: Beniamino Accattoli
  প্রকাশিত: (2013-03-01)
• Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus
  অনুযায়ী: Ali Assaf, অন্যান্য
  প্রকাশিত: (2014-12-01)
• Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus
  অনুযায়ী: Giulio Guerrieri
  প্রকাশিত: (2019-04-01)