bcms89

R Backhouse, P. Chisholm, G. Malcolm, E. Saaman. Do-it-Yourself Type Theory. Formal Aspects of Computing, 1(1):19-84, 1989.

Keyword

[ Typetheory ]

Contact

R. Backhouse
P. Chisholm
G. Malcolm
E. Saaman

BibTex Reference

@article{bcms89,
   Author = {Backhouse, R and Chisholm, P. and Malcolm, G. and Saaman, E.},
   Title = {Do-it-Yourself Type Theory},
   Journal = {Formal Aspects of Computing},
   Volume = {1},
   Number = {1},
   Pages = {19--84},
   Year = {1989}
}

EndNote Reference [help]

Get EndNote Reference (.ref)