5 public-domain matches

Proofs As Programs

Cover of Inquisitive Logic

Inquisitive Logic

Ivano Ciardelli

Cover of Certified Programming with Dependent Types

Certified Programming with Dependent Types

Adam Chlipala

Cover of Specification and verification of object-oriented software components

Specification and verification of object-oriented software components

Andreas Roth

Cover of Lazy Evaluation: From natural semantics to a machine-checked compiler transformation

Lazy Evaluation: From natural semantics to a machine-checked compiler transformation

Joachim Breitner

Cover of Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

Unknown author