Vi presenterar kvantitativ analys av olika (syntaktiska och beteendemässiga) egenskaper hos slumpmässiga λ-termer. Våra huvudsakliga resultat är att asymptotiskt alla termer är starkt normaliserande och att varje fast sluten term nästan aldrig visas i en slumpmässig term. Förvånansvärt nog är resultatet i kombinatorisk logik (översättningen av λ-kalculus till kombinatorer) precis motsatt. Vi visar att nästan alla termer inte är starkt normaliserande. Detta på grund av det faktum att en fast kombinator nästan alltid visas i en slumpmässig kombinator.
Fördelning och densitet egenskaper slumpmässiga lambda termer beskrivs i REF.
Some properties of random lambda terms
{'venue': 'Logical Methods in Computer Science', 'journal': 'Logical Methods in Computer Science', 'mag_field_of_study': ['Computer Science', 'Mathematics', 'Physics']}