共 50 条
[43]
A Testing Theory for a Higher-Order Cryptographic Language (Extended Abstract)
[J].
PROGRAMMING LANGUAGES AND SYSTEMS,
2011, 6602
:358-377
[49]
Session-Based Communication Optimisation for Higher-Order Mobile Processes
[J].
TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS,
2009, 5608
:203-218