Nominal lambda calculus: an internal language for FM-Cartesian closed categories
scientific article; zbMATH DE number 6567556
scientific article