Logical Reasoning for Higher-Order Functions with Local State

First Author: Yoshida N
Attributed to:  Type-Based Security for Mobile Computing: Integrity, Secrecy and Liveness funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-540-71389-0_26

Publication URI: http://dx.doi.org/10.1007/978-3-540-71389-0_26

Type: Book Chapter

Book Title: Foundations of Software Science and Computational Structures (2007)

Page Reference: 361-377

ISBN: 978-3-540-71388-3