Nominal Logic: A First Order Theory of Names and Binding (2001)

by Andrew M. Pitts
Venue:Information and Computation
Citations:161 - 15 self

Document Versions

Nominal Logic: A First Order Theory of Names and Binding –Andrew M. Pitts — 2001 — Information and Computation
Nominal Logic, A First Order Theory of Names and Binding –Andrew M. Pitts — 2002 — Information and Computation
Nominal logic, a first order theory of names and binding –Andrew M. Pitts — Inf. Comput
Nominal logic, a first order theory of names and binding –Andrew M. Pitts — 2001 — Information and Computation