Wilmer Ricciotti: Strongly Normalizing Higher-Order Relational Queries (FSCD A)
Channel: IJCAR-FSCD 2020
Date: 2020-07-11

Authors: Wilmer Ricciotti and James Cheney


Aired: 2020-02-01 13:30:00 CEST (UTC+2)