Jump to : Keyword | Contact | BibTex reference | EndNote reference |

hindley83b

R. Hindley. Curry's Type-Rules are Complete with Respect to the F-Semantics too. Theoretical Computer Science, 22:127-133, 1983.

Keyword

[ Parametricity ]

Contact

R. Hindley

BibTex Reference

@article{hindley83b,
   Author = {Hindley, R.},
   Title = {Curry's Type-Rules are Complete with Respect to the F-Semantics too},
   Journal = {Theoretical Computer Science},
   Volume = {22},
   Pages = {127--133},
   Year = {1983}
}

EndNote Reference [help]

Get EndNote Reference (.ref)