mitchell87

J. Mitchell. Relating Type Theories. 0.

Keyword

J.C. Mitchell

@Misc{mitchell87,
   Author = {Mitchell, J.},
   Title = {Relating Type Theories},
   Year = {0}
}

Get EndNote Reference (.ref)