Vaconcelos,Vasco T。 会话,从类型到编程语言。 (英语) Zbl 1261.68036号 牛市。欧洲协会。计算。科学。EATCS公司 103, 54-73 (2011)。MSC公司:68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{V.T.Vaconcelos},公牛。欧洲协会。计算。科学。EATCS 103、54--73(2011;Zbl 1261.68036)
保拉·夸里亚 演算:关于标记语义的注释。 (英语) Zbl 0931.68049号 牛市。欧洲协会。计算。科学。EATCS公司 68, 104-114 (1999)。MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Quaglia},公牛。欧洲协会。计算。科学。EATCS 68、104--114(1999;Zbl 0931.68049)