Combining incoherent coercions for Sigma-types - Research - Royal Holloway, University of London

Home > Computer Science home > Research > Profile > Publications > Combining incoherent coercions for Sigma-types

Combining incoherent coercions for Sigma-types. / Luo, Yong; Luo, Zhaohui.

Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'03. LNCS'3085. 2004.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Published

Original language	English
Title of host publication	Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'03. LNCS'3085
Publication status	Published - 2004

ID: 1775487

Research

Profile

Royal Holloway, University of London
Egham,
Surrey,
TW20 0EX

T: +44 (0)1784 434455 T: +44 (0)1784 434455