Vol-3586⫷ Vol-3587 ⫸Vol-3588
urn:nbn:de:0074-3587-0


Vol-3587/1736⫷Vol-3587/8059⫸Vol-3587/5957
Claudio Sacerdoti CoenRiccardo Treglia

Properties of a Computational Lambda Calculus for Higher-Order Relational Queries