logo
The Digital Librarian's Digital Library
DOCIS Documents in Computing and Information Science
 
Home >> Journals and Conference Proceedings >> Typed Lambda Calculus and Applications
 
 
Galois Embedding from Polymorphic Types into Existential Types
 
Ken-etsu Fujita
 
Journal Title: Typed Lambda Calculus and Applications
Date: 2005
 
 
 
For further information about this item go to:
http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3461&spage=194
 
 
This data comes from DBLP
[SWISH++]Valid XHTML 1.0!
This page is maintained by Angela Cornwell and Thomas Krichel.
It was last updated on 2006-04-12