An Effect-theoretic Account of Lebesgue Integration
In
Electronic Notes in Theoretical Computer Science, (2015)Ghica, D.R. (ed.), MFPS XXXI : The 31st Conference on the Mathematical Foundations of Programming Semantics, 22-25 June 2015, Nijmegen, Netherlands, pp. 239-253ISSN
Annotation
MFPS XXXI : The 31st Conference on the Mathematical Foundations of Programming Semantics, 22-25 June 2015, Nijmegen, Netherlands
Publication type
Article in monograph or in proceedings

Display more detailsDisplay less details
Editor(s)
Ghica, D.R.
Organization
Security of Systems
Digital Security
Journal title
Electronic Notes in Theoretical Computer Science
Book title
Ghica, D.R. (ed.), MFPS XXXI : The 31st Conference on the Mathematical Foundations of Programming Semantics, 22-25 June 2015, Nijmegen, Netherlands
Page start
p. 239
Page end
p. 253
Subject
Electronic Notes in Theoretical Computer Science; Digital SecurityThis item appears in the following Collection(s)
- Academic publications [227696]
- Electronic publications [108794]
- Faculty of Science [34023]
- Open Access publications [77993]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.