.:. Consultation > Liste par auteurs > Van Bakel .:.

1 document

Intersection types for explicit substitutions Lengrand S., Lescanne P., Dougherty D., Dezani M., Van Bakel S. Information and Computation 189, 1 (2004) 17 - 42 [hal-00150285 - version 1]