dr Małgorzata Moczurad

WWW: http://www.ii.uj.edu.pl/~madry

Kontakt: (więcej...)

Zainteresowania:
  • rachunek lambda z typami
  • labmda definiowalność
  • rozproszone algorytmy lokalne