Sciweavers

TLCA
2001
Springer

Second-Order Pre-Logical Relations and Representation Independence

14 years 4 months ago
Second-Order Pre-Logical Relations and Representation Independence
Hans Leiß
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Where TLCA
Authors Hans Leiß
Comments (0)