Journée-séminaire de combinatoire

(équipe CALIN du LIPN, université Paris-Nord, Villetaneuse)

Le 04 juillet 2017 à 14h00 en B107, Maciej Bendkowski nous parlera de : Quantitative aspects and random generation of lambda-terms

Résumé : In our overview talk, we present a quantitative analysis of lambda calculus and combinatory logic under various combinator bases, focusing on the asymptotic properties of both computational models, such as normalisation or typeability. We discuss utilised analytic methods, their limitations and current challenges. Finally, we discuss effective random sampling techniques, in particular Boltzmann models, and their application in automated software verification tools.


Dernière modification : jeudi 10 août 2017 Valid HTML 4.01! Valid CSS! Organisateurs : Cyril.Banderier & Gerard.Duchamp at lipn.univ-paris13.fr