(1 - 8 von 8
)
Turning Iris Up to Eleven: Next Steps in Higher-Order Separation Logictalks-calendar.ista.ac.at › events
talks-calendar.ista.ac.at
The second is joint work with Simon Spies, Lennard Gäher, Daniel Gratzer, Joseph Tassarotti, Robbert Krebbers, and Lars Birkedal. Speaker Bio: Derek Dreyer ...
sortiert nach Relevanz / Datum