-
Nicolai Kraus, A Lambda Term Representation Based on Ordered Linear Logic
-
TCS Oberseminar 23.02.2011, 14:15
Located in
Lehre
/
WS 2010/11
/
Oberseminar
-
Ulrich Schöpp, Playing Games with Effects
-
TCS Oberseminar 04.02.2011, 14:15
Located in
Lehre
/
WS 2010/11
/
Oberseminar
-
Markus Latte, Separation Results for XCTL
-
TCS Oberseminar 28.01.2011, 14:15
Located in
Lehre
/
WS 2010/11
/
Oberseminar
-
Dulma Rodriguez, Type Inference for RAJA: New Developments
-
TCS Oberseminar 21.01.2011, 14:15
Located in
Lehre
/
WS 2010/11
/
Oberseminar
-
Andreas Abel, On Irrelevance in Type Theory
-
TCS Oberseminar, 17.12.2010, 14:15
Located in
Lehre
/
WS 2010/11
/
Oberseminar