Inductive and coinductive predicate liftings for effectful programs

author
Voorneveld, Niels F.W.
statement of authorship
Niccolò Veltri, Niels F.W. Voorneveld
source
Proceedings 37th Conference on Mathematical Foundations of Programming SemanticsHybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021
year of publication
pages
p. 260-277
series
Electronic proceedings in theoretical computer science ; 351
conference name, date
37th International Conference on Mathematical Foundations of Programming Semantics, MFPS 2021
conference location
Salzburg, Austria
Online
subject term
kvartiil
Q3
category (general)
category (sub)
keyword
computer circuits
ISSN
2075-2180
notes
Bibliogr.: 30 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TTÜ department
language
inglise
Veltri, N., Voorneveld, N.F.W. Inductive and coinductive predicate liftings for effectful programs // Proceedings 37th Conference on Mathematical Foundations of Programming SemanticsHybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021. : Open Publishing Association, 2021. p. 260-277. (Electronic proceedings in theoretical computer science ; 351). https://doi.org/10.4204/EPTCS.351.16