huet87

G. Huet. A Uniform Approach to Type Theory. 0.

Keyword

G. Huet

@Misc{huet87,
   Author = {Huet, G.},
   Title = {A Uniform Approach to Type Theory},
   Year = {0}
}

Get EndNote Reference (.ref)