Reconciling positional and nominal binding

Research output: Contribution to conference › Paper › peer-review

Original language	English
Pages	81-93
DOIs	https://doi.org/10.4204/EPTCS.121.6
Publication status	Published - 1 Jan 2013
Event	Intersection Types and Related Systems - Duration: 1 Jan 2013 → …

Conference	Intersection Types and Related Systems
Period	1/01/13 → …

Access to Document

@conference{b85da2b8c7cc4316aae7f79db84e03bf,

title = "Reconciling positional and nominal binding",

author = "D. Ancona and Paola GIANNINI and E. Zucca",

year = "2013",

month = jan,

day = "1",

doi = "10.4204/EPTCS.121.6",

language = "English",

pages = "81--93",

note = "Intersection Types and Related Systems ; Conference date: 01-01-2013",

}