Back to the list of the institutes
Publications
Journal: Journal of Functional Programming
Number of publications: 12016
- Paweł Parys , A Characterization of Lambda-Terms Transforming Numerals, Journal of Functional Programming, 2016. See in PBN