From ANR Frec

Site: RelatedProjects

C-SHORe project (Collapse-Saturation for Higher-Order Recursion).

Retrieved from http://frec.labri.fr/index.php/Site/RelatedProjects
Page last modified on April 02, 2014, at 09:33 PM