constable91

R. Constable. Type Theory as a Foundation for Computer Science. In Proc. Int'l Conf. on Theoretical Aspects of Computer Software (TACS), Sendai, Japan, T. Ito, A. Meyer (eds.), Lecture Notes in Computer Science, Vol. 526, Pages 226-243, September 1991.

Keyword

[ Typetheory ]

Contact

R. Constable

BibTex Reference

@InProceedings{constable91,
   Author = {Constable, R.},
   Title = {Type Theory as a Foundation for Computer Science},
   BookTitle = {Proc. Int'l Conf. on Theoretical Aspects of Computer Software (TACS), Sendai, Japan},
   editor = {Ito, T. and Meyer, A.},
   Pages = {226--243},
   Publisher = {Springer},
   Month = {September},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)