* Follow-ups to [HP89]?
@ 2005-09-07 23:13 Todd Wilson
0 siblings, 0 replies; only message in thread
From: Todd Wilson @ 2005-09-07 23:13 UTC (permalink / raw)
To: categories
In the introduction to their 1989 article,
JME Hyland & AM Pitts, "The Theory of Constructions: Categorical
Semantics and Topos-Theoretic Models", Contemp. Math. 92 (1989), 137
- 199,
the authors say, "Clearly this paper is only a beginning." Can someone
recommend follow-ups to this paper published in the intervening 15 years?
Todd Wilson
Department of Computer Science
California State University, Fresno
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2005-09-07 23:13 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-09-07 23:13 Follow-ups to [HP89]? Todd Wilson
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).