~~NOCACHE~~
---- datatemplateentry ----
template     : :en:templates:seminaire
classe       : semgt
type         : Working group
nom          : Type theory and realisability
nomcourt     : types
jour         : Wednesday
heure        : 2pm
lieu         : room 1007
responsables : herbelin, mellies
pole         : pps
equipe       : preuves
----