Katedra Matematyki Obliczeniowej - lista publikacji
Nadjednostka:
1-1 z 1.
1997
1.
Jan Małolepszy, Małgorzata Moczurad, Marek Zaionc
Schwichtenberg style lambda definability is undecidable, Lecture Notes in Computer Science vol. 1210 (1997), 267-283