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.

 [arXiv]

Dernière modification : Thursday 21 November 2024 Valid HTML 4.01! Valid CSS! Contact pour cette page : Cyril.Banderier at lipn.univ-paris13.fr