Normal view
MARC view
- Urzyczyn, Paweł
Urzyczyn, Paweł (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Urzyczyn, Paweł, Typed Lambda Calculi and Applications, 2005