zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 201-219 (2016).
MSC:  03B50 03G10
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication