Author:
Boreale M.,Bruni R.,Caires L.,De Nicola R.,Lanese I.,Loreti M.,Martins F.,Montanari U.,Ravara A.,Sangiorgi D.,Vasconcelos V.,Zavattaro G.
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Abramsky, S.: The lazy lambda calculus. In: Research Topics in Functional Programming, pp. 65–116. Addison-Welsey, Reading (1990)
2. Lecture Notes in Computer Science;L. Acciai,2005
3. Barendregt, H.: The lambda calculus, its syntax and semantics. North-Holland, Amsterdam (1984)
4. Bartoletti, M., Degano, P., Ferrari, G.: Types and effects for secure service orchestration. In: Proc. of CSFW 2006 (to appear, 2006)
5. Lecture Notes in Computer Science;A.L. Brown,2005
Cited by
68 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献