Wyniki wyszukiwania
Parametry zapytania
Autor:
Agnieszka Kozubek
Publikacja w czasopi¶mie
1.
In the search of a naive type theory
LECTURE NOTES IN COMPUTER SCIENCE Tom 4941 r. 2008, str. 110-124
(Artykuł)
Agnieszka Kozubek
,
Paweł Urzyczyn