logo
The Digital Librarian's Digital Library
DOCIS Documents in Computing and Information Science
 
Home >> Journals and Conference Proceedings >> Foundations of Software Science and Computation Structure
 
 
A Normalisation Result for Higher-Order Calculi with Explicit Substitutions
 
Eduardo Bonelli
 
Journal Title: Foundations of Software Science and Computation Structure
Date: 2003
 
 
 
For further information about this item go to:
http://link.springer.de/link/service/series/0558/bibs/2620/26200153.htm
 
 
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