Comparing Higher-order Encodings in Logical Frameworks and Tile Logic

Bruni R, Honsell F, Lenisa M, Miculan M
2001-01-01
Cite
Type
Conference paper

Related