(1 - 16 from 24
)
MFPS XXVII: Mathematical Foundations of Programming Semantics,
resources.illc.uva.nl
The lectures are organised by Martin Escardó and Achim Jung (Birmingham). The speakers include Ulrich Berger (Swansea), Martin Escardó ...
Samson@ | Quantiki
quantiki.org
* Introduction Speakers will cover the wide range of subjects to which Samson made pioneering contributions, stretching from the semantics of programming...
sorted by relevance / date