Subtyping in Type Theory: Coercion Contexts and Local Coercions. / Luo, Zhaohui; Part, Fjodor.

2013. Abstract from TYPES 2013, France.

Research output: Contribution to conferenceAbstractpeer-review

Published

Standard

Subtyping in Type Theory: Coercion Contexts and Local Coercions. / Luo, Zhaohui; Part, Fjodor.

2013. Abstract from TYPES 2013, France.

Research output: Contribution to conferenceAbstractpeer-review

Harvard

APA

Vancouver

Author

BibTeX

@conference{b37fa7cade234de586b18dc9bb5ede0d,
title = "Subtyping in Type Theory: Coercion Contexts and Local Coercions",
author = "Zhaohui Luo and Fjodor Part",
year = "2013",
language = "English",
note = "TYPES 2013 ; Conference date: 22-04-2013",

}

RIS

TY - CONF

T1 - Subtyping in Type Theory: Coercion Contexts and Local Coercions

AU - Luo, Zhaohui

AU - Part, Fjodor

PY - 2013

Y1 - 2013

M3 - Abstract

T2 - TYPES 2013

Y2 - 22 April 2013

ER -