Bernhard Reus

Bernhard Reus

University of Sussex - Brighton / United Kingdom
Others
AD Scientific Index ID: 1262637
person_outline Bernhard Reus's MOST POPULAR ARTICLES
1-) Monadic presentations of lambda terms using generalized inductive typesT Altenkirch, B ReusInternational Workshop on Computer Science Logic, 453-468, 19991961999
2-) Classical logic, continuation semantics and abstract machinesT Streicher, B ReusJournal of functional programming 8 (6), 543-572, 19981731998
3-) Step-indexed Kripke models over recursive worldsL Birkedal, B Reus, J Schwinghammer, K Støvring, J Thamsborg, H YangACM SIGPLAN Notices 46 (1), 119-132, 20111122011
4-) An event-based structural operational semantics of multi-threaded JavaP Cenciarelli, A Knapp, B Reus, M WirsingFormal syntax and semantics of Java, 157-200, 19991111999
5-) Nested Hoare triples and frame rules for higher-order storeJ Schwinghammer, L Birkedal, B Reus, H YangLogical Methods in Computer Science 7, 2011822011