Type Theories , Normal Forms , and D ,-Lambda-Models *

  title={Type Theories , Normal Forms , and D ,-Lambda-Models *},
  author={M.. and COPPO and Mariangiola Dezani-Ciancaglini and C... and Srkera},
  • M.., COPPO, +2 authors Srkera
  • Published 2003
A (non-standard) inverse-limit A-model D : is constructed which has a non Hilbert-Post complete theory. Moreover, in D:, a simple semantic characterization of normalizable terms is given. These results are proved using the properties of a generalized type assignment system which yields a filter model (Barendregt, Coppo, and Dezani-Ciancaglini, 1983, J. Symbolic. Logic 48, 931-940; Coppo, Dezani-Ciancaglini, Honsell, and Longo, 1983, pp. 241-262, “Logic Colloquium ‘82,” North-Holland, Amsterdam… CONTINUE READING
Highly Cited
This paper has 59 citations. REVIEW CITATIONS



Citations per Year

59 Citations

Semantic Scholar estimates that this publication has 59 citations based on the available data.

See our FAQ for additional information.