Typed Normal Form Bisimulation for Parametric Polymorphism

SB Lassen, Paul Levy

Research output: Contribution to conference (unpublished) › Paper

28 Citations (Scopus)

Original language	English
Pages	341-352
Number of pages	12
DOIs	https://doi.org/10.1109/LICS.2008.26
Publication status	Published - 27 Jun 2008
Event	Proceedings of 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) - Duration: 27 Jun 2008 → …

Conference	Proceedings of 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008)
Period	27/06/08 → …

Access to Document

@conference{61ac5333beed4b41ab489741e8b99082,

title = "Typed Normal Form Bisimulation for Parametric Polymorphism",

author = "SB Lassen and Paul Levy",

year = "2008",

month = jun,

day = "27",

doi = "10.1109/LICS.2008.26",

language = "English",

pages = "341--352",

note = "Proceedings of 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) ; Conference date: 27-06-2008",

}