CRSX

swMATH23630MaRDI QIDQ35401FDOQ35401

Author name not available (Why is that?)

Official website: http://crsx.sourceforge.net

Cited In (3)

• Intersection types for the resource control lambda calculi
• Converting between Combinatory Reduction Systems and Big Step Semantics
• Mechanizing the metatheory of mini-XQuery

This page was built for software: CRSX