scientific article; zbMATH DE number 898452

zbMATH Open0843.03005MaRDI QIDQ4884240

Enno Folkerts

Publication date: 8 July 1996

Title of this publication is not available (Why is that?)

zbMATH Keywords

eta-reductionunsolvable termsatomic termsextensional lambda-calculusinvertibility of termstypeability of bijective terms

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

No solvable lambda-value term left behind

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4884240)