Sciweavers

54
Voted
TACS
2001
Springer

Nominal Logic: A First Order Theory of Names and Binding

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