CRSX
From MaRDI portal
Software:35401
No author found.
Related Items (3)
Converting between Combinatory Reduction Systems and Big Step Semantics ⋮ Mechanizing the Metatheory of mini-XQuery ⋮ Intersection Types for the Resource Control Lambda Calculi
This page was built for software: CRSX