13th FoSSaCS 2010: Paphos, Cyprus (Part of ETAPS 2010)

Refine list

showing all ?? records

FoSSaCS 2010 Invited Talk

Semantics of Programming Languages

Probabilistic and Randomised Computation

Concurrency and Process Theory

Modal and Temporal Logics


Categorical and Coalgebraic Methods

Lambda Calculus and Types

a service of  Schloss Dagstuhl - Leibniz Center for Informatics