Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic (2001)
Cached
Download Links
- [www.dimi.uniud.it]
- [www.dimi.uniud.it]
- [www.di.unipi.it]
- DBLP
Other Repositories/Bibliography
by
Roberto Bruni
,
Furio Honsell
,
Marina Lenisa
,
Marino Miculan
| Citations: | 1 - 1 self |
BibTeX
@MISC{Bruni01comparinghigher-order,
author = {Roberto Bruni and Furio Honsell and Marina Lenisa and Marino Miculan},
title = {Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic},
year = {2001}
}
OpenURL
Abstract
In recent years, logical frameworks and tile logic have been separately proposed by our research groups, respectively in Udine and in Pisa, as suitable metalanguages with higher-order features for encoding and studying nominal calculi. This paper discusses the main features of the two approaches, tracing di#erences and analogies on the basis of two case studies: late #-calculus and lazy simply typed #-calculus.







