UK/Dutch collaborative project
Bridging the Gap between Type Theory and Term Rewriting
Supported by the British Council and NWO
British Principal Investigator: Fairouz Kamareddine
Dutch Principal Investigator: Henk Barendregt
Involved Partners: N.G. de Bruijn
Maintained by
Fairouz
Kamareddine
