Little Prover
Work detail
Bookitis PickLP
Little Prover
Matthias FelleisenDaniel P. FriedmanJ. Strother MooreDuane BibbyCarl Eastlund2 editions
This page groups all known editions belonging to the same underlying work.
Overview
Shared work-level identity and catalog context.
5 credited authorsSearch language simple
Contributors
People credited with this work in the active catalog.
- Open Author
Matthias Felleisen
- Open Author
Daniel P. Friedman
- Open Author
J. Strother Moore
- Open Author
Duane Bibby
- Open Author
Carl Eastlund
Editions
Publication-specific versions linked to this work only.