[TYPES] Type theory applications to the Semantic Web/RDF

[Galchin Vasili]

Hello Type community,

  I am looking for papers that apply type theory
(categorical type theory?) to implementation of the
Semantic Web (RDF). Any suggestions for papers to
read?

Regards, Vasili

PS If we really had a semantic web, I wouldn't have to
make this posting ;^)



   


	
		
__________________________________
Do you Yahoo!?
Friends.  Fun.  Try the all-new Yahoo! Messenger.
http://messenger.yahoo.com/