Showing 1 - 2 results of 2 for search 'Robert Atkey', query time: 0.02s
Refine Results
-
1
Amortised Resource Analysis with Separation Logic by Robert Atkey
Published 2011-06-01
Article -
2
Refining Inductive Types by Robert Atkey, Patricia Johann, Neil Ghani
Published 2012-06-01
Article