Sciweavers

TACS
2001
Springer

Nominal Logic: A First Order Theory of Names and Binding

14 years 4 months ago
Nominal Logic: A First Order Theory of Names and Binding
Andrew M. Pitts
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Where TACS
Authors Andrew M. Pitts
Comments (0)