par Libert, Thierry
Référence Mathematical logic quarterly, 54, 4, page (410-434)
Publication Publié, 2008-07
Article révisé par les pairs
Résumé : We show that the untyped λ -calculus can be extended with Frege's interpretation of propositional notions, provided we restrict β -conversion to positive expressions. The system of illative λ -calculus so obtained admits a natural Scott-style semantics. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)