HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Federico Olimpieri

Publications
Normalization and Taylor expansion of lambda-terms
Federico Olimpieri
EasyChair Preprint 165

Keyphrases

lambda calculus, linear logic, normalization, Taylor expansion of lambda-terms.

Copyright © 2012-2025 easychair.org. All rights reserved.