Descriptive and Relative Completeness of Logics for Higher-Order Functions

First Author: Honda K
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/11787006_31

Publication URI: http://dx.doi.org/10.1007/11787006_31

Type: Book Chapter

Book Title: Automata, Languages and Programming (2006)

Page Reference: 360-371

ISBN: 978-3-540-35907-4