HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Federico Olimpieri

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

Keyphrases

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

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