Asymptotic properties of combinatory logic

Tytuł:
Asymptotic properties of combinatory logic
Czasopismo:
Rok:
2015

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