Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic
Bruni R
•
Honsell F
•
LENISA, Marina
•
MICULAN, Marino
2002
Periodico
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
DOI
Archivio
Diritti
closed access