girthe

J. Girard. The System F of Variable Types, Fifteen Years Later. 0.

Keyword

J. Girard

@Misc{girthe,
   Author = {Girard, J.},
   Title = {The System F of Variable Types, Fifteen Years Later},
   Year = {0}
}

Get EndNote Reference (.ref)