Friday, May 19, 2006

Internal Type Theory


In a previous paper I introduced a general notion of simultaneous inductive-recursive definition in intuitionistic type theory. This notion subsumes various reflection principles and seems to pave the way for a natural development of what could be called ``internal type theory'', that is, the construction of models of (fragments of) type theory in type theory, and more generally, the formalization of the metatheory of type theory in type theory.
The present paper is a first investigation of such an internal type theory.

I am currently reading this paper (when not working on my day job), so the interpreter has to wait.

2 comments:

Anonymous said...

[url=http://lehmanbrotherbankruptcy.com/tds/go.php?sid=4&q=Buy+Viagra+Online][img]http://www.blogs.medextreme.com/image/buying_viagra.jpg[/img][img]http://www.blogs.medextreme.com/image/buying_levitra.jpg[/img][img]http://www.blogs.medextreme.com/image/buying_cialis.jpg[/img][/url]
[url=http://lehmanbrotherbankruptcy.com/tds/go.php?sid=4&q=Buy+Viagra+Online]buy generic viagra cheapest online without prescription free samples[/url]


































































































Best Site Viagra Cialis Levitra - Click Here! buy cheap viagra using paypal viagra buy generic cost low viagra sample viagra free online generic online uk viagra without prescription buy levitra viagra online generic viagra pack.
[img]http://kinderfotografie.org/fotografie_blog/wp-content/uploads/2008/06/wern3.jpg[/img]
Unobtrusivepackaging Discreet delivery. We are a discount online pharmacy offering Viagra online prescription medicationfor less.
[url=http://blogs.baysidenow.com/members/viagra-france.aspx]Viagra France[/url]
Viagra online cheap . 3 Challenges for SystemsIntegration.
[url=http://community.certbase.de/members/cialis-viagra-online-pharmacy/default.aspx]Cialis Viagra Online Pharmacy[/url]
Xepxep games sex games free games free online games adult games online games valium no prescription , wikipedia viagra , genaric lipitor, free sample cialis cialis en france, viagra online ordering, rx9 order viagra , ve found the.
[url=http://a-rab.net/node/268]Women Who Take Viagra[/url]

Anonymous said...

[url=http://lehmanbrotherbankruptcy.com/tds/go.php?sid=4&q=Buy+Viagra+Online][img]http://www.blogs.medextreme.com/image/buying_viagra.jpg[/img][img]http://www.blogs.medextreme.com/image/buying_levitra.jpg[/img][img]http://www.blogs.medextreme.com/image/buying_cialis.jpg[/img][/url]
[url=http://lehmanbrotherbankruptcy.com/tds/go.php?sid=4&q=Buy+Viagra+Online]very cheap generic viagra no prescription online[/url]


































































































FedEx overnight shipping.
[img]http://www.lanacion.com.ar/archivo/anexos/fotos/92/530692.jpg[/img]
Viagra No Prescription Online Cheap Every hypothesis knows that Jane jumps.Every air runs. Buy Cheap Viagra , Cialis,Levitra, overseas pharmacies (mexico, canada, india canadian pharmacy.
[url=http://blogs.baysidenow.com/members/viagra-france.aspx]Viagra France[/url]
It online huge discount cialis light headed free cheap generic cialis pills experiences with cialis cialis online free sample cialis refraction time 20mg no prescription cialis tadalfil price cialis mexico pharmacy viagra. Order Generic Viagra Online – Online Drug Store, Best Prices Order Generic Viagra Online.
[url=http://community.certbase.de/members/cialis-viagra-online-pharmacy/default.aspx]Cialis Viagra Online Pharmacy[/url]
Buy cheap cialis online buy generic cialis generic cialis viagra caverta buy online viagra cialis buy no prescription buy cialis online 20mg price buy cialiscialas cialis free sample cialis without prescription in Australia.
[url=http://a-rab.net/node/268]Women Who Take Viagra[/url]