Inductive and coinductive predicate liftings for effectful programs
autor
Voorneveld, Niels F.W.
vastutusandmed
Niccolò Veltri, Niels F.W. Voorneveld
allikas
Proceedings 37th Conference on Mathematical Foundations of Programming SemanticsHybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 260-277
seeria-sari
Electronic proceedings in theoretical computer science ; 351
konverentsi nimetus, aeg
37th International Conference on Mathematical Foundations of Programming Semantics, MFPS 2021
konverentsi toimumispaik
Salzburg, Austria
Online
ISSN
2075-2180
märkused
Bibliogr.: 30 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
võtmesõna
computer circuits
WOS
kvartiil
klassifikaator
kategooria (üld)
kategooria (alam)
Uurimisrühm
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).