Filter models

Please expand.

References

Barendregt, Henk, Mario Coppo, and Mariangiola Dezani-Ciancaglini. 1983. ‘A Filter Lambda Model and the Completeness of Type Assignment’. Journal of Symbolic Logic 48 (4): 931–40. https://doi.org/10.2307/2273659.

@article{barendregt_1983,
	title = {A filter lambda model and the completeness of type assignment},
	volume = {48},
	doi = {10.2307/2273659},
	number = {4},
	journal = {Journal of Symbolic Logic},
	author = {Barendregt, Henk and Coppo, Mario and Dezani-Ciancaglini, Mariangiola},
	year = {1983},
	pages = {931--940}
}

Coppo, M., M. Dezani-Ciancaglini, F. Honsell, and G. Longo. 1984. ‘Extended Type Structures and Filter Lambda Models’. In Logic Colloquium ’82, edited by G. Lolli, G. Longo, and A. Marcja, 112:241–62. Studies in Logic and the Foundations of Mathematics. Elsevier. https://doi.org/10.1016/S0049-237X(08)71819-6.

@inproceedings{coppo_1984,
	series = {Studies in {Logic} and the {Foundations} of {Mathematics}},
	title = {Extended {Type} {Structures} and {Filter} {Lambda} {Models}},
	volume = {112},
	doi = {10.1016/S0049-237X(08)71819-6},
	booktitle = {Logic {Colloquium} '82},
	publisher = {Elsevier},
	author = {Coppo, M. and Dezani-Ciancaglini, M. and Honsell, F. and Longo, G.},
	editor = {Lolli, G. and Longo, G. and Marcja, A.},
	year = {1984},
	pages = {241--262}
}