Konstrukcje architekturalne w kategorii fragmentów

Prelegent(ci)

Grzegorz Marczyński

Afiliacja

Uniwersytet Warszawski

Termin

20 grudnia 2010 10:15

Pokój

p. 5850

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

Na seminarium opowiem o kowariantnych sygnaturach i modelach konstrukcji architekturalnych oraz o ich składaniu. Pokażę też przykłady takich konstrukcji w kategorii fragmentów sygnatur algebraicznych z zależnościami.

---