A model Type Theory for Formalizing Trusted Communications‚ Journal of Applied Logic‚ 10.1‚ 92−114

Bibliographic Details
Main Author: Taddeo, M
Format: Journal article
Published: 2012