Asymptotic properties of combinatory logic
Tytuł:
Asymptotic properties of combinatory logic
Czasopismo:
Rok:
2013
Opis:
We present a quantitative analysis of random combinatory logic terms. Our main goal is to investigate likelihood of behavioral semantic properties of random combinatory logic terms. We show that almost all weakly normalizing terms are not strongly normalizing. We prove also that almost all normal forms in combinatory logic are not typeable.
Strony:
62-72
Tom (seria wydawnicza):
9076
Numer DOI:
10.1007/978-3-319-17142-5_7
Link:
Asymptotic properties of combinatory logic