Nie jesteś zalogowany | Zaloguj się

PL /
EN

Czasopismo: Journal of Functional Programming

Liczba publikacji: 1

2016

Paweł Parys , A Characterization of Lambda-Terms Transforming Numerals, Journal of Functional Programming, 2016. Zobacz w PBN