Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic
Roberto Bruni, Furio Honsell, Marina Lenisa, Marino MiculanVolume:
62
Year:
2002
Language:
english
Pages:
21
DOI:
10.1016/s1571-0661(04)00324-x
File:
PDF, 271 KB
english, 2002