External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Reasoning about Constants in Nominal Isabelle or How to Formalize the Second Fixed Point Theorem

Cezary Kaliszyk, Henk Barendregt. Reasoning about Constants in Nominal Isabelle or How to Formalize the Second Fixed Point Theorem. In Jean-Pierre Jouannaud, Zhong Shao, editors, Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings. Volume 7086 of Lecture Notes in Computer Science, pages 87-102, Springer, 2011. [doi]

Authors

Cezary Kaliszyk

This author has not been identified. Look up 'Cezary Kaliszyk' in Google

Henk Barendregt

This author has not been identified. Look up 'Henk Barendregt' in Google
runs on