tree-calculus icon indicating copy to clipboard operation
tree-calculus copied to clipboard

Published 20 hours ago • verified publisher icon barry-jay-personal
→

Metadata

Proofs in Coq for the book Reflective Programs in Tree Calculus

Tree_Calculus_Proofs

Proofs in Coq for the book Reflective Programs in Tree Calculus See Reflective_Programs.txt for more information. Contact me at [email protected] about the book itself.

← Metadata

33
Stars
3
Forks
Watchers

Owner

verified publisher icon barry-jay-personal

Metadata

Proofs in Coq for the book Reflective Programs in Tree Calculus

Back