Transfinite Iris: resolving an existential dilemma of step-indexed separation logic Article Swipe
Related Concepts
Transfinite number
IRIS (biosensor)
Dilemma
Existentialism
Computer science
Separation (statistics)
Mathematics
Arithmetic
Algebra over a field
Artificial intelligence
Pure mathematics
Philosophy
Epistemology
Statistics
Geometry
Biometrics
Simon Spies
,
Lennard Gäher
,
Daniel Gratzer
,
Joseph Tassarotti
,
Robbert Krebbers
,
Derek Dreyer
,
Lars Birkedal
·
YOU?
·
· 2021
· Open Access
·
· DOI: https://doi.org/10.1145/3453483.3454031
· OA: W3175711391
YOU?
·
· 2021
· Open Access
·
· DOI: https://doi.org/10.1145/3453483.3454031
· OA: W3175711391
\n Contains fulltext :\n 236635.pdf (Publisher’s version ) (Open Access)\n \n Contains fulltext :\n 236635.pdf (Author’s version preprint ) (Open Access)\n
Related Topics
Finding more related topics…