GitHub repository: Barry-Jay/Intensional-computation
Primary language: Coq
Created: 2017-11-04T06:00:09Z
Description: translations of a lambda abstraction to combinations of operators