TY  - RPRT
TI  - Initial Semantics for Strengthened Signatures
AU  - André Hirschowitz
AU  - Marco Maggesi
PY  - 2012
DO  - 10.4204/eptcs.77.5
UR  - https://arxiv.org/abs/1202.3499
ID  - 1202.3499
ER  -