Sciweavers

TLCA
2001
Springer

Second-Order Pre-Logical Relations and Representation Independence

15 years 1 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)