CRSX

MaRDI QIDQ35401swMATHFDO

Official website http://crsx.sourceforge.net

Cited in

(3)

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

This page was built for software: CRSX