共 50 条
- [1] Correctness of a higher-order removal transformation through a relational reasoning [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2003, 2895 : 358 - 375
- [2] The Impact of Higher-Order State and Control Effects on Local Relational Reasoning [J]. ICFP 2010: PROCEEDINGS OF THE 2010 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2010, : 143 - 155
- [5] Structure Mapping and the Predication of Novel Higher-Order Relations [J]. PROCEEDINGS OF THE TWENTY-SIXTH ANNUAL CONFERENCE OF THE COGNITIVE SCIENCE SOCIETY, 2004, : 333 - 338
- [6] Relational semantics for higher-order programs [J]. MATHEMATICS OF PROGRAM CONSTRUCTION, 2006, 4014 : 29 - 48
- [10] Reasoning about higher-order processes [J]. TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, 1995, 915 : 202 - 216