SimPouλet
Description
A Coq proof of Eijiro Sumii's article “A Complete Characterization of Observational Equivalence in Polymorphic λ-calculus with General References”.
SimPouλet Web SiteUser Reviews
Be the first to post a review of SimPouλet!
A Coq proof of Eijiro Sumii's article “A Complete Characterization of Observational Equivalence in Polymorphic λ-calculus with General References”.
SimPouλet Web SiteBe the first to post a review of SimPouλet!