CRSX

swMATH23630MaRDI QIDQ35401FDOQ35401

Author name not available (Why is that?)

Cited In (3)

• Mechanizing the Metatheory of mini-XQuery
• Intersection Types for the Resource Control Lambda Calculi
• Converting between Combinatory Reduction Systems and Big Step Semantics

This page was built for software: CRSX