Keyword:Taylor expansion of lambda-terms

Publications
EasyChair Preprint 165