Period
2003 - 2003
Number
1
Co-Authors
Infinitary Lambda Calculus and Discrimination of Berarducci trees (2003)
Dezani-Ciancaglini, M., Severi, P., De Vries, F.J.