@article(Abramsky'91,
 author       = {S. Abramsky},
 year         = {1991},
 title        = {Domain Theory in Logical Form},
 journal      = {Ann. Pure Appl. Log.},
 volume       = {51},
 number       = {1-2},
 pages        = {1--77},
 doi          = {10.1016/0168-0072(91)90065-T},
)
@article(Abramski-Ong'93,
 author       = {S. Abramsky and C.-H.L. Ong},
 year         = {1993},
 title        = {{Full abstraction in the lazy lambda calculus}},
 journal      = {Inf. Comput.},
 volume       = {105},
 number       = {2},
 pages        = {159--267},
 doi          = {10.1006/inco.1993.1044},
)
@inproceedings(alesdezahons04,
 author       = {F. Alessi and Dezani-Ciancaglini, M. and F. Honsell},
 year         = {2004},
 title        = {{Inverse Limit Models as Filter Models}},
 editor       = {Delia Kesner and Femke van Raamsdonk and Joe Wells},
 booktitle    = {HOR'04},
 publisher    = {RWTH Aachen},
 address      = {Aachen},
 pages        = {3--25},
)
@article(Alessi-Barbanera-Dezani'06,
 author       = {F. Alessi and F. Barbanera and Dezani{-}Ciancaglini, M.},
 year         = {2006},
 title        = {Intersection types and lambda models},
 journal      = {Theor. Comput. Sci.},
 volume       = {355},
 number       = {2},
 pages        = {108--126},
 doi          = {10.1016/j.tcs.2006.01.004},
)
@inproceedings(Alessi-Severi'08,
 author       = {F. Alessi and P. Severi},
 year         = {2008},
 title        = {Recursive Domain Equations of Filter Models},
 editor       = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}},
 booktitle    = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {4910},
 publisher    = {Springer},
 pages        = {124--135},
 doi          = {10.1007/978-3-540-77566-9\_11},
)
@article(BCD'83,
 author       = {H. P. Barendregt and M. Coppo and {Dezani-Ciancaglini}, M.},
 year         = {1983},
 title        = {A Filter Lambda Model and the Completeness of Type Assignment},
 journal      = {J. Symb. Log.},
 volume       = {48},
 number       = {4},
 pages        = {931--940},
 doi          = {10.2307/2273659},
)
@book(BarendregtDS2013,
 author       = {H. P. Barendregt and W. Dekkers and R. Statman},
 year         = {2013},
 title        = {Lambda Calculus with Types},
 series       = {Perspectives in logic},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781139032636},
)
@inproceedings(BentonHM00,
 author       = {N. Benton and J. Hughes and E. Moggi},
 year         = {2002},
 title        = {Monads and Effects},
 booktitle    = {Applied Semantics, International Summer School, {APPSEM} 2000},
 series       = {Lecture Notes in Computer Science},
 volume       = {2395},
 publisher    = {Springer},
 pages        = {42--122},
 doi          = {10.1007/3-540-45699-6\_2},
)
@inproceedings(BentonKBH09,
 author       = {N. Benton and A. Kennedy and L. Beringer and M. Hofmann},
 year         = {2009},
 title        = {Relational semantics for effect-based program transformations: higher-order store},
 editor       = {Ant{\'{o}}nio Porto and L{\'{o}}pez{-}Fraguas, Francisco Javier},
 booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal},
 publisher    = {{ACM}},
 pages        = {301--312},
 doi          = {10.1145/1599410.1599447},
)
@inproceedings(BucciarelliEM07,
 author       = {A. Bucciarelli and T. Ehrhard and G. Manzonetto},
 year         = {2007},
 title        = {Not Enough Points Is Enough},
 editor       = {Jacques Duparc and Thomas A. Henzinger},
 booktitle    = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th Annual Conference of the EACSL},
 series       = {Lecture Notes in Computer Science},
 volume       = {4646},
 publisher    = {Springer},
 pages        = {298--312},
 doi          = {10.1007/978-3-540-74915-8\_24},
)
@article(Carvalho18,
 author       = {D. de Carvalho},
 year         = {2018},
 title        = {Execution time of {$\lambda$}-terms via denotational semantics and intersection types},
 journal      = {Math. Struct. Comput. Sci.},
 volume       = {28},
 number       = {7},
 pages        = {1169--1203},
 doi          = {10.1017/S0960129516000396},
)
@inproceedings(Coppo-et.al'84,
 author       = {M. Coppo and {Dezani-Ciancaglini}, M. and F. Honsell and G. Longo},
 year         = {1984},
 title        = {{Extended type structures and filter lambda models}},
 editor       = {G. Lolli and G. Longo and A. Marcja},
 booktitle    = {Logic Colloquium 82},
 publisher    = {North-Holland},
 address      = {Amsterdam, the Netherlands},
 pages        = {241--262},
 doi          = {10.1016/S0049-237X(08)71819-6},
)
@inproceedings(LagoGL17,
 author       = {{Dal Lago}, U. and F. Gavazzo and P. B. Levy},
 year         = {2017},
 title        = {{Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method}},
 booktitle    = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2017},
 publisher    = {{IEEE} Computer Society},
 pages        = {1--12},
 doi          = {10.1109/LICS.2017.8005117},
)
@article(deLiguoroTreglia20,
 author       = {U. de'Liguoro and R. Treglia},
 year         = {2020},
 title        = {The untyped computational \emph{{$\lambda$}}-calculus and its intersection type discipline},
 journal      = {Theor. Comput. Sci.},
 volume       = {846},
 pages        = {141--159},
 doi          = {10.1016/j.tcs.2020.09.029},
)
@misc(deLiguoroTreglia2021,
 author       = {U. de'Liguoro and R. Treglia},
 year         = {2021},
 title        = {Intersection Types for a Computational Lambda-Calculus with Global State, https://arxiv.org/abs/2104.01358},
 eprint       = {2104.01358},
)
@article(Dezani-CiancagliniHA03,
 author       = {Dezani{-}Ciancaglini, M. and F. Honsell and F. Alessi},
 year         = {2003},
 title        = {A complete characterization of complete intersection-type preorders},
 journal      = {{ACM} Trans. Comput. Log.},
 volume       = {4},
 number       = {1},
 pages        = {120--147},
 doi          = {10.1145/601775.601780},
)
@phdthesis(amsdottorato9075,
 author       = {F. Gavazzo},
 year         = {2019},
 title        = {Coinductive Equivalences and Metrics for Higher-order Languages with Algebraic Effects},
 school       = {University of Bologna, Italy},
 url          = {http://amsdottorato.unibo.it/9075/},
)
@article(HylandP06,
 author       = {M. Hyland and J. Power},
 year         = {2006},
 title        = {Discrete Lawvere theories and computational effects},
 journal      = {Theor. Comput. Sci.},
 volume       = {366},
 number       = {1-2},
 pages        = {144--162},
 doi          = {10.1016/j.tcs.2006.07.007},
)
@article(Hyland2007TheCT,
 author       = {M. Hyland and J. Power},
 year         = {2007},
 title        = {The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads},
 journal      = {Electron. Notes Theor. Comput. Sci.},
 volume       = {172},
 pages        = {437--458},
 doi          = {10.1016/j.entcs.2007.02.019},
)
@inproceedings(LagoG19,
 author       = {U. Dal Lago and F. Gavazzo},
 year         = {2019},
 title        = {Effectful Normal Form Bisimulation},
 editor       = {Lu{\'{\i}}s Caires},
 booktitle    = {Programming Languages and Systems - 28th European Symposium on Programming, {ESOP} 2019},
 series       = {Lecture Notes in Computer Science},
 volume       = {11423},
 publisher    = {Springer},
 pages        = {263--292},
 doi          = {10.1007/978-3-030-17184-1\_10},
)
@inproceedings(MelliesZeilberger2015,
 author       = {P.-A. Melli\`{e}s and N. Zeilberger},
 year         = {2015},
 title        = {Functors are Type Refinement Systems},
 booktitle    = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2015},
 publisher    = {{ACM}},
 pages        = {3--16},
 doi          = {10.1145/2676726.2676970},
)
@article(Moggi'91,
 author       = {E. Moggi},
 year         = {1991},
 title        = {Notions of Computation and Monads},
 journal      = {Inf. Comput.},
 volume       = {93},
 number       = {1},
 pages        = {55--92},
 doi          = {10.1016/0890-5401(91)90052-4},
)
@inproceedings(PlotkinP02,
 author       = {G. D. Plotkin and J. Power},
 year         = {2002},
 title        = {Notions of Computation Determine Monads},
 booktitle    = {{FOSSACS} 2002},
 series       = {Lecture Notes in Computer Science},
 volume       = {2303},
 publisher    = {Springer},
 pages        = {342--356},
 doi          = {10.1007/3-540-45931-6\_24},
)
@article(PlotkinP03,
 author       = {G. D. Plotkin and J. Power},
 year         = {2003},
 title        = {Algebraic Operations and Generic Effects},
 journal      = {Appl. Categorical Struct.},
 volume       = {11},
 number       = {1},
 pages        = {69--94},
 doi          = {10.1023/A:1023064908962},
)
@article(Power06,
 author       = {J. Power},
 year         = {2006},
 title        = {Generic models for computational effects},
 journal      = {Theor. Comput. Sci.},
 volume       = {364},
 number       = {2},
 pages        = {254--269},
 doi          = {10.1016/j.tcs.2006.08.006},
)
@inproceedings(Wadler92,
 author       = {P. Wadler},
 year         = {1992},
 title        = {The Essence of Functional Programming},
 booktitle    = {Conference Record of the Nineteenth Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, 1992},
 publisher    = {{ACM} Press},
 pages        = {1--14},
 doi          = {10.1145/143165.143169},
)
@inproceedings(Wadler-Monads,
 author       = {P. Wadler},
 year         = {1995},
 title        = {Monads for Functional Programming},
 booktitle    = {Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques},
 series       = {Lecture Notes in Computer Science},
 volume       = {925},
 publisher    = {Springer},
 pages        = {24--52},
 doi          = {10.1007/3-540-59451-5\_2},
)