bbmw90

R. Backhouse, P. de Bruin, G. Malcolm, J. van der Woude. A Relational Theory of Types. presented at IFIP WG 2.1 meeting at Burton Manor, England, May 1990.

Keyword

[ Typetheory ]

Contact

R. Backhouse
P. de Bruin
G. Malcolm
J. van der Woude

BibTex Reference

@Misc{bbmw90,
   Author = {Backhouse, R. and de Bruin, P. and Malcolm, G. and van der Woude, J.},
   Title = {A Relational Theory of Types},
   Howpublished = {presented at IFIP WG 2.1 meeting at Burton Manor, England},
   Month = {May},
   Year = {1990}
}

EndNote Reference [help]

Get EndNote Reference (.ref)