UK/Dutch collaborative project
Supported by the British Council and NWO
UK/Dutch collaborative project grant number JRP 415
Type Theory and Term Rewriting for Programs and Proofs
Supported by the British Council and NWO
British Principal Investigator: Fairouz Kamareddine
Dutch Principal Investigator:
Henk Barendregt
Co-Investigators: Jan Willem Klop and Erik Barendsen
Maintained by Fairouz
Kamareddine
