Proof Pearl: The Marriage Theorem
No abstract available.
DOI 10.1007/978-3-642-25379-9_28
Related papers
- A String of Pearls: Proofs of Fermat's Little Theorem CPP 2012
- A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction APLAS 2011
- Theoretical Pearl: A simple proof of a folklore theorem about delimited control JFP 2006
- Formalising Sharkovsky's Theorem (Proof Pearl) CPP 2023
- A minimalistic verified bootstrapped compiler (proof pearl) CPP 2021
- Free theorems involving type constructor classes: functional pearl ICFP 2009
- A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem in Constructive Type Theory (Proof Pearl) CPP 2023
- Theoretical Pearls: A bargain for intersection types: a simple strong normalization proof JFP 2005