murthy91

Ch. Murthy. Classical Proofs as Programs: How, What and Why. Research Report Cornell University, No 91, July 1991.

Keyword

[ Typetheory ]

Contact

Ch. Murthy

BibTex Reference

@TechReport{murthy91,
   Author = {Murthy, Ch.},
   Title = {Classical Proofs as Programs: How, What and Why},
   Number = {91},
   Institution = {Cornell University},
   Month = {July},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)