HOME
Suggest URL
Top URLS
Login
Register
Call-by-value Termination in the Untyped Lambda-calculus
A fully-automated algorithm is developed able to show that evaluation of a given untyped lambda-expression will terminate under CBV
http://lambda-the-ultimate.org/
21 Hits
Rating
(0 votes)
Set as Favorite
Category:
Computers/Programming
Broken Link?
URLSpedia Average Rating » 0 out of 5
Stars
Percentage
Total Vote
0%
0
0%
0
0%
0
0%
0
0%
0
Caste Your Vote»
Rating
Selection
Guidelines
Poor:
Very disappointing, useless.
Fair:
Below average, disappointing but not useless.
Good:
About average in its class.
Very Good:
Above average for its category.
Excellent:
One of the best URLS in its category.
Sponsored By